e371587147
Improve SpinBox interaction, split arrows, add theme attributes
2024-08-23 18:21:20 +02:00
09f967bc00
Prevent node rename shortcut from stealing focus from controls
2024-07-09 16:29:35 +04:00
5689dbc209
Allow to abort `SpinSlider` value changes
2024-02-16 07:54:35 +04:00
277e261acf
Add editor setting for spin slider sensibility
2023-04-27 13:45:24 +02:00
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
David Giardi
passivestar
Winston Yallow
Yuri Sizov