Nate Butler
bd8509990a
Rename One theme and update Zed default theme
2022-10-20 15:31:17 -04:00
K Simmons
54cf6fa838
Pull blink functionality out of editor and into blink manager. Make blink manager subscribe to settings changes in order to start blinking properly when it is re-enabled.
...
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
2022-10-17 16:20:51 -07:00
K Simmons
40c3e925ad
Add cursor blink setting and replicate cursor shape to remote collaborators
2022-10-17 16:20:47 -07:00
Joseph T Lyons
9a381c1803
Merge branch 'main' into settings-for-journal
2022-10-16 12:42:18 -04: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
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
Mikayla Maki
01176e04b7
Added clarification for git gutter settings
2022-10-02 18:42:03 -07:00
Mikayla Maki
c237075102
Touched up settings text
2022-10-02 18:35:19 -07:00
Joseph T Lyons
3c62de34f7
Change journal location setting name to "path" and default to ~
2022-09-29 17:12:57 -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
fbe5f9225c
Add descriptions to journal settings
2022-09-28 16:52:15 -04:00
Joseph T Lyons
773423fcf4
Initial work to add settings to journal feature
2022-09-28 16:25:37 -04:00
Julia
cd07c98b7d
Re-enable format on save by default
2022-09-26 14:04:25 -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
951896ffac
finished option as meta
2022-09-13 09:41:01 -07:00
Mikayla Maki
7c6769b392
WIP began changing key modifiers
2022-09-12 22:40:35 -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
Antonio Scandurra
327aae3bf2
Start adding support for Elixir
2022-08-22 14:30:27 +02: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
Mikayla Maki
8cf2ae3b6b
Removed clippy from default settings
2022-08-11 11:46:54 -07:00
Mikayla Maki
3460a24da7
Changed CI and default.json to run clippy
2022-08-10 09:11:06 -07:00
Nate Butler
ffce2cb084
Use One Dark as the default theme.
2022-08-05 12:44:34 -04:00
ForLoveOfCats
c21314bfbd
Add ability to provide custom LSP server initialization options
2022-08-04 14:47:06 -04:00
Mikayla Maki
8a6605c090
Added test covering this feature
2022-07-26 16:30:51 -07:00
Mikayla Maki
4a483618be
Finished graceful terminal failure
2022-07-20 10:04:08 -07:00
Mikayla Maki
6675c96c8a
Removed some old dbgs and comments
2022-07-15 18:42:07 -07:00
Mikayla Maki
dc120c1e05
Added settings for common terminal configurations
2022-07-15 18:27:10 -07:00
Antonio Scandurra
b5765bc8cd
Illustrate format_on_save
external command using prettier
...
This gives us a chance to highlight a real-world scenario that a lot
of our users will want to use, as well as showcasing the special
`{buffer_path}` argument.
2022-07-15 09:00:10 +02:00
K Simmons
e7b1060bca
fix merge error to use new default settings flow
2022-07-13 14:29:47 -07:00
Max Brunsfeld
0ebf417c2e
Pre-populate settings.json when initializing it from Zed
2022-07-12 14:19:36 -07:00