mirror of
https://github.com/zed-industries/zed.git
synced 2026-06-01 14:20:35 +00:00
c84d432b5f
This PR updates the modality indicators in the user menu after #12940. We use the ellipsis throughout the app to indicate that a menu action will open a modal (e.g., the theme selector), so "Themes" needs the trailing ellipsis. Whereas the "Extensions" entry opens up a new tab, which we don't indicate that same way. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| chat_panel | ||
| collab_panel | ||
| notifications | ||
| channel_view.rs | ||
| chat_panel.rs | ||
| collab_panel.rs | ||
| collab_titlebar_item.rs | ||
| collab_ui.rs | ||
| face_pile.rs | ||
| notification_panel.rs | ||
| notifications.rs | ||
| panel_settings.rs | ||