Joseph T Lyons
9a381c1803
Merge branch 'main' into settings-for-journal
2022-10-16 12:42:18 -04:00
Mikayla Maki
51c0a140c6
Merge pull request #1743 from zed-industries/new-settings-writing
...
Improved settings writing to be strongly typed and based on settings file content diffs
2022-10-12 17:18:48 -07:00
Mikayla Maki
e73270085b
Fixed settings
2022-10-12 17:11:47 -07:00
Mikayla Maki
dd1320e6d1
Improved settings writing to be strongly typed and based on settings file content diffs
...
Co-Authored-By: kay@zed.dev
2022-10-12 17:05:23 -07:00
Max Brunsfeld
6cdf4e98fc
Re-export basic text types from text and language crates
...
Also avoid production dependencies on fs and rope in collab
2022-10-12 15:48:19 -07:00
Mikayla Maki
e7b6d1befe
Added theme and dock anchor saving :D
2022-10-11 19:18:29 -07:00
Mikayla Maki
5487f99ac7
Moved settings_file.rs into settings crate. Should be ready to start now :D
2022-10-11 16:03:38 -07:00
Mikayla Maki
cc8ae45012
Added theme writing code, really bad race condition
2022-10-11 12:48:30 -07:00
Julia
2f96a09c46
Don't select on copy by default in the terminal
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-10-10 13:48:56 -04:00
Mikayla Maki
499e95d16a
Removed debugs, simplified settings
2022-10-03 17:43:05 -07:00
Julia
6f6d72890a
Once again respect user settings for git gutter
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-10-03 15:42:30 -04:00
Julia
e6487de069
Rename head text to indicate that it's not always going to be from head
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-10-03 15:11:06 -04:00
Julia
a5c2f22bf7
Move git gutter settings out of editor settings
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-10-03 14:53:33 -04:00
Joseph T Lyons
3c62de34f7
Change journal location setting name to "path" and default to ~
2022-09-29 17:12:57 -04:00
Julia
632f47930f
Utilize initial file contents as head text by default
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-09-29 13:16:02 -04:00
Julia
a679557e40
Avoid racing git diffs & allow for "as fast as possible" diff updating
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-09-29 13:16:02 -04:00
Joseph T Lyons
773423fcf4
Initial work to add settings to journal feature
2022-09-28 16:25:37 -04:00
Julia
879a0d8b12
Backward compat format settings
2022-09-26 11:41:31 -04:00
Julia
f3395cf4fd
Add editor action to manually invoke buffer format
2022-09-22 18:21:05 -04:00
Kay Simmons
29f46539f0
Merge pull request #1614 from zed-industries/dock
...
Dock
2022-09-14 12:40:59 -07:00
Mikayla Maki
7c6769b392
WIP began changing key modifiers
2022-09-12 22:40:35 -07:00
K Simmons
df59b28aaf
Extract panel resize code from sidebar into Resizable element
...
Make resizable work in vertical axis
Make dock resizable
Have dock preserve size based on Anchor position
Make pane buttons work more correctly in pathological cases
Sync status bar dock button with dock visibility/anchor position
Co-Authored-By Mikayla Maki <mikayla@zed.dev>
2022-09-12 18:32:15 -07:00
K Simmons
69ecbb644d
DOCK WORKING!
...
Update editor element to use mouse regions instead of dispatch event for mouse events
Fix bug in presenter where mouse region handlers were stored on click and called instead of more up to date handlers from subsequent renders
Changed MouseRegion to require discriminants in all cases
Add scroll wheel event to MouseRegion
Polished a bunch of dock inconsistencies
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-09-11 15:32:20 -07:00
Mikayla Maki
7571899f08
Added internal keymaps as well, just for the hell of it
2022-09-08 16:37:04 -07:00
Mikayla Maki
ec5d8f8c7c
Removed github username check, added settings file
2022-09-08 16:27:46 -07:00
Mikayla Maki
2b4db9b16e
Added experimental themes flag
2022-09-08 15:47:27 -07:00
Mikayla Maki
a1889ad236
Added internal flag that checks the last logged in user
2022-09-08 13:31:04 -07:00
Mikayla Maki
5a0f106005
restore modal terminal
2022-08-31 13:06:15 -07:00
Mikayla Maki
0a40cc0370
Added experimental keymaps support
2022-08-22 14:49:01 -07:00
Mikayla Maki
b6785c5624
Revert "Basic feature flag implementation"
2022-08-22 13:54:18 -07:00
Mikayla Maki
0450380e97
Fixed name issue
2022-08-22 13:38:23 -07:00
Mikayla Maki
7efeb0662a
Changed name to experiments
2022-08-22 13:27:36 -07:00
Mikayla Maki
9b6116e1e2
Basic feature flag implementation
2022-08-22 13:11:23 -07:00
Mikayla Maki
cfbda00cc4
Finished mouse compatability
2022-08-19 13:54:25 -07:00
Mikayla Maki
6652d41864
Fixed cursor blinking, added other cursor shape rendering
2022-08-18 11:28:18 -07:00
Mikayla Maki
acce0042f9
Fixed blink problems
2022-08-17 14:41:28 -07:00
Mikayla Maki
bba51c3ae6
Added cursor blink and settings
2022-08-15 18:05:07 -07:00
ForLoveOfCats
8ba2f77148
One big cleanup pass of clippy lints
...
Co-authored-by: Mikayla <mikayla@zed.dev>
2022-08-10 16:51:01 -07:00
ForLoveOfCats
c21314bfbd
Add ability to provide custom LSP server initialization options
2022-08-04 14:47:06 -04:00
Mikayla Maki
40d30a898b
Rebasing continues
2022-07-20 10:04:08 -07:00
Mikayla Maki
dc120c1e05
Added settings for common terminal configurations
2022-07-15 18:27:10 -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
Max Brunsfeld
277f561b8c
Simplify setting merging, fix ignored hard_tabs setting
2022-07-12 17:43:00 -07:00
Max Brunsfeld
0ebf417c2e
Pre-populate settings.json when initializing it from Zed
2022-07-12 14:19:36 -07:00
Max Brunsfeld
8464c03e65
Adjust settings schema generation to reflect rename
...
Also, simplify that code.
2022-07-12 12:19:01 -07:00
Max Brunsfeld
c02f4ea8dc
Rename LanguageSettings -> EditorSettings
2022-07-12 11:42:43 -07:00
Max Brunsfeld
ec8a493700
Move all default settings from source code into the JSON file
2022-07-12 11:35:19 -07:00
