ZIm/crates/repl/src
Kirill Bulatov 3b91de8003
Adds a way to toggle font size without settings adjustments (#24857)
Closes https://github.com/zed-industries/zed/issues/23505

Now `zed::IncreaseBufferFontSize` (and all the same UI- and
Buffer-related settings) action is parameterized with `{ "persist": true
}` (default).
Using `"persist": false` brings back resizing behavior prior to
https://github.com/zed-industries/zed/pull/23265


Release Notes:

- Added a way to toggle font size without settings adjustments
2025-02-14 13:27:48 +02:00
..
components Fix hover tooltips appearing after related element is pressed (#24540) 2025-02-10 00:16:12 +00:00
kernels Eliminate GPUI View, ViewContext, and WindowContext types (#22632) 2025-01-26 03:02:45 +00:00
notebook ui: Update Label component (#24653) 2025-02-11 20:16:59 +00:00
outputs Adds a way to toggle font size without settings adjustments (#24857) 2025-02-14 13:27:48 +02:00
components.rs Show kernel options in a picker (#20274) 2024-11-07 17:59:53 -08:00
jupyter_settings.rs Eliminate GPUI View, ViewContext, and WindowContext types (#22632) 2025-01-26 03:02:45 +00:00
notebook.rs Initial Notebook UI structure (#19756) 2024-10-29 11:30:07 -07:00
outputs.rs Eliminate GPUI View, ViewContext, and WindowContext types (#22632) 2025-01-26 03:02:45 +00:00
repl.rs Eliminate GPUI View, ViewContext, and WindowContext types (#22632) 2025-01-26 03:02:45 +00:00
repl_editor.rs Refactor to use SharedString in more places (#23813) 2025-01-28 19:04:21 -05:00
repl_sessions_ui.rs Migrate more events to telemetry::event! macro (#24102) 2025-02-03 16:38:45 +00:00
repl_store.rs Eliminate GPUI View, ViewContext, and WindowContext types (#22632) 2025-01-26 03:02:45 +00:00
session.rs Remove more references to 'model' in GPUI APIs (#23693) 2025-01-27 04:00:27 +00:00