13 commits

Author	SHA1	Message	Date
Conrad Irwin	496518f3e8	Use gpui instead of gpui2 consistenytly	2023-11-06 11:50:33 -07:00
Marshall Bowers	b910bbf002	Add ui_font_size setting (#3199) ... This PR adds a new `ui_font_size` setting that can be used to control the scale of the entire UI. We use the value in this setting to set the base rem size of the window. Release Notes: - N/A	2023-11-01 13:11:12 -04:00
Nathan Sobo	da8919002f	Fix runtime errors	2023-10-23 11:34:35 +02:00
Antonio Scandurra	ce75be91e1	Checkpoint	2023-10-22 18:25:24 +02:00
Antonio Scandurra	e4fe9538d7	Checkpoint	2023-10-21 16:01:47 +02:00
Marshall Bowers	d91b423a45	Remove unused Interactive impl for FakeSettings	2023-10-19 16:16:09 -04:00
Marshall Bowers	a869de3b1f	Add ability to toggle user settings	2023-10-19 13:38:19 -04:00
Marshall Bowers	4aac733238	Pass the settings to build_child	2023-10-19 13:23:08 -04:00
Marshall Bowers	a1f7a97ff5	Pull the settings from the global state	2023-10-19 13:02:32 -04:00
Marshall Bowers	61e09ff532	Checkpoint: Thread WindowContext through to user_settings	2023-10-19 12:58:17 -04:00
Nate Butler	7cb00aeb34	Update line heights, buttons to respond to UI scale ... Co-Authored-By: Marshall Bowers <1486634+maxdeviant@users.noreply.github.com>	2023-10-18 17:55:17 -04:00
Nate Butler	8b637e194e	Update approach to settings ... Co-Authored-By: Marshall Bowers <1486634+maxdeviant@users.noreply.github.com>	2023-10-18 16:16:58 -04:00
Nate Butler	289255d67a	Update UI elements and implement user settings for customization	2023-10-18 15:42:10 -04:00