5 commits

Author	SHA1	Message	Date
David Giardi	e371587147	Improve SpinBox interaction, split arrows, add theme attributes	2024-08-23 18:21:20 +02:00
passivestar	09f967bc00	Prevent node rename shortcut from stealing focus from controls	2024-07-09 16:29:35 +04:00
passivestar	5689dbc209	Allow to abort SpinSlider value changes	2024-02-16 07:54:35 +04:00
Winston Yallow	277e261acf	Add editor setting for spin slider sensibility	2023-04-27 13:45:24 +02:00
Yuri Sizov	4154039832	Improve includes of EditorNode (and everything else) ... Also start organizing editor-specific GUI components into a dedicated folder, `editor/gui`. Also move `editor_file_server` next to the rest of debugger classes.	2023-04-07 18:59:49 +02:00

Renamed from editor/editor_spin_slider.h (Browse further)