6afadbaa9f
Replace Ctrl in editor shortcuts with Cmd or Ctrl depending on platform
2023-09-19 10:29:07 +02:00
5453503697
[Text Server] Store extra spacing of individual font variations.
2023-08-24 11:58:12 +03:00
42402aa7db
Fix the distance for grabbing a EditorSpinSlider
...
Currently moving the mouse for a single pixel is enough to trigger
grabbing, which happens often unintentionally.
2023-06-16 09:39:49 +02:00
277e261acf
Add editor setting for spin slider sensibility
2023-04-27 13:45:24 +02:00
b6abb34759
Fix editor spin slider remaining editable if set read_only during an edit and fix related animation player crash
2023-04-22 18:34:36 +02:00
c5d9470c7c
Merge pull request #75765 from YuriSizov/editor-node-optimize-includes
...
Improve includes of `EditorNode` (and everything else)
2023-04-11 19:40: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
ajreckof
bruvzg
Markus Sauermann
Winston Yallow
Samuele Panzeri
Rémi Verschelde
Yuri Sizov