Commit Graph
793 Commits
Author SHA1 Message Date
Mikayla ac4dfa6c16 Move the collab panel to the left by default
Increase the indent size on channels
Switch font UI mono
2023-08-18 15:04:22 -07:00
Mikayla 6a79716245 Add action button component for rendering the search options 2023-08-17 15:30:40 -07:00
Nate Butler f2bdb21326 Fix missing border on tab bar navigation arrows 2023-08-17 11:00:22 -04:00
Mikayla a37da1b636 Merge branch 'main' into project_search_design 2023-08-17 01:56:05 -07:00
Mikayla Maki dc1dbec6bb Collab panel touch ups (#2855)
This will also fix the bug that @JosephTLyons observed where accepting a
channel invite would not show sub channels.

Release Notes:

- Offline section is now collapsed by default
- Manage members now shows full list
- Dragging of docks now follows the mouse exactly, and double clicks
reset size. (https://github.com/zed-industries/community/issues/1816)
2023-08-17 01:09:01 -07:00
Nate Butler f1edf07fdf Fix collab indicators 2023-08-16 22:50:02 -04:00
Mikayla 68150180fa WIP 2023-08-16 16:56:00 -07:00
Nate Butler 6fbca64b1f Use the ghost variant for a flat button style in the toolbar 2023-08-16 23:38:11 +03:00
Kirill Bulatov 5ce0d2244d Improve toggle UI, fix inlays update speed 2023-08-16 23:38:11 +03:00
Kirill Bulatov 7cd278f4b8 Draft quick actions bar 2023-08-16 23:38:11 +03:00
Nate ButlerandMax Brunsfeld f77504f5ac Update collab panel empty state to match project panel
Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
2023-08-16 13:56:11 -04:00
Nate ButlerandMax Brunsfeld dd531145c2 Update modal icon styles
Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
2023-08-16 13:48:12 -04:00
Nate Butler 8027b0d4d8 Style cleanup for channels panel 2023-08-16 12:38:44 -04:00
KCaverlyandPiotr 9d4fe6b926 fix semantic search panic which is created via incompatible build_search_query path
Co-authored-by: Piotr <piotr@zed.dev>
2023-08-16 15:50:54 +01:00
KCaverlyandPiotr 4c6dbb2e57 adjusted icon sizes downwards
Co-authored-by: Piotr <piotr@zed.dev>
2023-08-16 14:01:06 +01:00
KCaverlyandPiotr ca1573c580 remove redundant and unneeded styling
Co-authored-by: Piotr <piotr@zed.dev>
2023-08-16 12:55:32 +01:00
KCaverlyandPiotr 6437a7ead7 remove regex keymap, and made spacing consistent between search objects
Co-authored-by: Piotr <piotr@zed.dev>
2023-08-16 12:17:59 +01:00
KCaverlyandPiotr ce618ad740 reorganize search bar, enable filters and disable select all during invalid states
Co-authored-by: Piotr <piotr@zed.dev>
2023-08-16 11:35:09 +01:00
Nate Butler b4c41dc9bd Update channel context menu 2023-08-15 18:36:23 -04:00
Mikayla 8471c16343 seperate out channel styles in theme 2023-08-15 12:12:30 -07:00
KCaverlyandmaxbrunsfeld c817d047fc refactor buffer_search to reduce redundancy and simplying height management
Co-authored-by: maxbrunsfeld <max@zed.dev>
2023-08-15 20:04:14 +01:00
KCaverly a74ea95faf fix spacing on editor magnifying glass icon 2023-08-15 15:05:39 +01:00
Max BrunsfeldandMikayla 4507579f5a Limit number of participants shown in channel face piles
Co-authored-by: Mikayla <mikayla@zed.dev>
2023-08-14 17:11:03 -07:00
Nate Butler eec64e7e2d Update some status bar icons and states 2023-08-14 17:15:25 -04:00
Nate Butler 9c70f9b428 Initial modal styles 2023-08-14 17:01:34 -04:00
Nate Butler c1a33b6331 Continue panel styles 2023-08-14 16:12:39 -04:00
Nate Butler a4661e4e16 Use new icons in channel panel 2023-08-14 15:57:31 -04:00
Nate Butler 3b6cf98e1a Style channels panel items 2023-08-14 15:50:37 -04:00
Nate Butler 8c40bba730 Add ghost button variants 2023-08-14 15:13:57 -04:00
Max BrunsfeldandMikayla 401a2aefea Add icon before the empty contacts text
Co-authored-by: Mikayla <mikayla@zed.dev>
2023-08-14 11:57:19 -07:00
Max BrunsfeldandMikayla 54383d6c9b Structure the contact finder more similarly to the channel modal
Co-authored-by: Mikayla <mikayla@zed.dev>
2023-08-14 11:37:05 -07:00
Mikayla 9fbf6857eb Make empty state interactive 2023-08-14 10:34:00 -07:00
Mikayla 0d2e658f3d Add placeholder implementation 2023-08-14 10:24:00 -07:00
Nate Butler a791f150e5 Add list empty state style 2023-08-14 13:17:57 -04:00
Piotr OsiewiczandKyle 05018dfbd8 Add more padding to dismiss button.
Add a style for mode buttons group margin

Co-authored-by: Kyle <kyle@zed.dev>
2023-08-14 15:01:01 +02:00
Piotr Osiewicz 9caa488195 Update option buttons text color 2023-08-14 12:35:33 +02:00
Piotr Osiewicz 18b10b2008 Add option_button_height style 2023-08-14 12:10:37 +02:00
Piotr Osiewicz 46a4a82f1a Style nav buttons 2023-08-13 01:29:35 +02:00
Piotr Osiewicz ddfd18fa1b Style dismiss button.
Fix clipping in nav buttons and mode buttons. Add missing borders to outskirts of mode buttons.
2023-08-13 01:06:35 +02:00
Piotr Osiewicz 8ec3ff2d3b Remove buttonside, use new corner_radii instead 2023-08-12 22:18:27 +02:00
Piotr Osiewicz 6d1ca22f57 Merge branch 'main' into project_search_design 2023-08-12 21:57:21 +02:00
Mikayla d55c1ad81e Merge branch 'main' into collab-panel 2023-08-12 12:44:22 -07:00
Mikayla 20a9de99f8 split into body and header 2023-08-11 11:35:51 -07:00
Nate ButlerandMikayla Maki 93983b230d WIP Restyle channel modal
Co-Authored-By: Mikayla Maki <mikayla.c.maki@gmail.com>
2023-08-11 13:32:46 -04:00
Piotr Osiewicz dfa4d484f0 Shrink project search + decrease padding 2023-08-11 18:19:45 +02:00
Piotr Osiewicz d925e81832 Add row_height 2023-08-11 17:02:25 +02:00
Piotr Osiewicz 4363a5bd12 Add accent colors to search option buttons 2023-08-11 16:51:18 +02:00
Piotr Osiewicz 60e0aff04f Increase editor's left hand side padding to 10 2023-08-11 16:43:07 +02:00
Piotr Osiewicz f361c17071 Style mode/option buttons 2023-08-11 16:32:15 +02:00
Piotr Osiewicz 6d2f085dee Make ButtonSide respect corner_radius 2023-08-11 14:44:22 +02:00