5 commits

Author	SHA1	Message	Date
Markus Sauermann	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
Winston Yallow	277e261acf	Add editor setting for spin slider sensibility	2023-04-27 13:45:24 +02:00
Samuele Panzeri	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
Rémi Verschelde	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
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.cpp (Browse further)