Antonio Scandurra
d89465c451
Merge pull request #1356 from zed-industries/differentiate-same-tab-titles
...
Differentiate among tabs with the same name
2022-07-15 08:30:22 +02:00
Mikayla Maki
cf5c20c3a5
Remembered how to use a terminal
2022-07-14 13:15:42 -07:00
Keith Simmons
17f52fb587
Merge pull request #1355 from zed-industries/better-tab-ordering
...
More intuitive tab ordering
2022-07-14 12:26:46 -07:00
Antonio Scandurra
d4ee372eab
🎨
2022-07-14 16:46:45 +02:00
Antonio Scandurra
49ef33090c
Add test for tab disambiguation
2022-07-14 16:42:30 +02:00
Isaac Clayton
91fefae96a
Add retries to failing terminal test
2022-07-14 16:05:10 +02:00
Isaac Clayton
52e4774e8a
Re-enable JSON plugin
2022-07-14 15:13:12 +02:00
Antonio Scandurra
fd5cb02ea9
Truncate description in tab title when it is too long
2022-07-14 15:12:16 +02:00
Isaac Clayton
b3ac63b7b5
Remove triple-based suffix
2022-07-14 15:05:54 +02:00
Isaac Clayton
af1ad474e3
Update docs
2022-07-14 13:46:41 +02:00
Isaac Clayton
80b45ef93b
Precompile plugins depending on target triple
2022-07-14 13:23:04 +02:00
Antonio Scandurra
07d269234f
Differentiate among tabs with the same name
...
This commit introduces a new, optional `Item::tab_description` method
that lets implementers define a description for the tab with a certain
`detail`. When two or more tabs match the same description, we will
increase the `detail` until tabs don't match anymore or increasing the
`detail` doesn't disambiguate tabs any further.
As soon as we find a valid `detail` that disambiguates tabs enough, we
will pass it to `Item::tab_content`. In `Editor`, this is implemented by
showing more and more of the path's suffix as `detail` is increased.
2022-07-14 11:54:11 +02:00
Isaac Clayton
4a5b8fd2e6
Merge fuel-based metering
2022-07-14 08:13:47 +02:00
K Simmons
52b29c0928
When tab closed, move to previous tab, and when opening an existing tab, reorder it to be after the current active tab
2022-07-13 20:14:44 -07:00
Max Brunsfeld
df838c74ca
0.47.1
2022-07-13 17:31:59 -07:00
Max Brunsfeld
c90fe31249
Merge pull request #1353 from zed-industries/fix-init-user-settings
...
Avoid copying all default settings to initial user settings
2022-07-13 17:31:10 -07:00
Max Brunsfeld
8292ba15ed
Avoid copying all default settings to initial user settings
...
This would cause top-level default editor settings to override
language-specific default settings.
Co-authored-by: Nathan Sobo <nathan@zed.dev>
2022-07-13 17:07:41 -07:00
Mikayla Maki
f55b24ddee
Fixed modal terminal bindings to not show in command palette
2022-07-13 16:39:22 -07:00
Max Brunsfeld
48624b796e
0.47.0
2022-07-13 15:59:11 -07:00
Max Brunsfeld
9c82d5b080
Merge pull request #1333 from zed-industries/editor-mouse-context-menu
...
Editor mouse context menu
2022-07-13 15:58:31 -07:00
Keith Simmons
ed1370eafc
Merge pull request #1330 from zed-industries/completions-setting
...
Completions Menu Setting
2022-07-13 15:35:10 -07:00
Max Brunsfeld
4775d839d7
Fix incomplete language names list being used for JSON schema
...
For now, since initializing the languages themselves is still async,
create a parallel duplicated code path that is synchronous, and
just provided the language names.
2022-07-13 15:04:28 -07:00
K Simmons
e7b1060bca
fix merge error to use new default settings flow
2022-07-13 14:29:47 -07:00
Keith Simmons
7f3018c3f6
add show_completions_on_input setting to disable popping the completions menu automatically
2022-07-13 14:23:49 -07:00
Keith Simmons
5366ed4404
Add basic test for editor context menu
2022-07-13 14:13:19 -07:00
Keith Simmons
b850e41d6f
Add editor mouse context menu with some basic refactorings and an entry to pop the code actions
2022-07-13 14:13:19 -07:00
Keith Simmons
d796b543e0
WIP add basic context menu and make progress toward adding quick actions to it
2022-07-13 14:13:19 -07:00
Max Brunsfeld
dddeb66e2a
Temporarily remove JSON plugin + restore native JSON LspAdapter
2022-07-13 13:56:39 -07:00
Mikayla Maki
7885234fbc
Added clear screan command
2022-07-13 13:19:21 -07:00
Mikayla Maki
4f9d88f3e0
Made a quick fix for modal issues, better solution pending rewrite
2022-07-13 13:06:23 -07:00
Mikayla Maki
344e037406
remove temporary work
2022-07-13 12:18:43 -07:00
Mikayla Maki
494c168c6f
Beginning rewrite of affected systems
2022-07-13 12:18:43 -07:00
Mikayla Maki
f630ab4821
checkpoint
2022-07-13 12:18:43 -07:00
Mikayla Maki
2ca340b9f1
Beginning research
2022-07-13 12:18:43 -07:00
Isaac Clayton
5e7456df4e
Fix docs
2022-07-13 20:19:56 +02:00
Isaac Clayton
8bb8e851df
Remove epoch-based metering
2022-07-13 18:03:14 +02:00
Isaac Clayton
562e22814f
Remove .pre suffix use .epoch and .fuel instead
2022-07-13 17:08:43 +02:00
Isaac Clayton
3fb1cd0726
Fix issue where precompiled plugins were compiled with the wrong settings
2022-07-13 16:31:47 +02:00
Isaac Clayton
01a2d53638
Merge pull request #1327 from zed-industries/plugin-epoch
...
Configurable Plugin Yielding
2022-07-13 15:29:22 +02:00
Antonio Scandurra
1460fd0e2f
Merge pull request #1342 from zed-industries/mouse-based-splitting
...
Introduce mouse-based pane splitting
2022-07-13 15:25:20 +02:00
Antonio Scandurra
3e3bd7ccc8
Don't steal focus when splitting pane via context menu
2022-07-13 15:06:39 +02:00
Isaac Clayton
a6edf85078
Use enum to differentiate between normal and precompiled plugins
2022-07-13 14:26:52 +02:00
Isaac Clayton
daf1674ca6
Fix failing test
2022-07-13 13:27:31 +02:00
Isaac Clayton
c956a8866e
Quick documentation fix
2022-07-13 13:21:45 +02:00
Isaac Clayton
b3e1fd0740
Rename a few items and add documentation
2022-07-13 13:19:51 +02:00
Isaac Clayton
8b376dd613
Fix resulting errors and introduce functional executor callback
2022-07-13 13:15:12 +02:00
Isaac Clayton
8974b0c490
Work on supporting both epoch and fuel
2022-07-13 12:41:47 +02:00
Antonio Scandurra
9677db9f8f
Deploy context menu when clicking on split icon
2022-07-13 12:15:36 +02:00
Isaac Clayton
10670dba70
Add support for configuring plugin yield mechanism, stashing
2022-07-13 11:57:00 +02:00
Antonio Scandurra
c87efb0dbc
Show split button at the right edge of the tab bar
2022-07-13 11:44:33 +02:00
