2c95976ef7
Merge pull request #8099 from RandomShaper/close-output-2.1
...
Add editor option for automatically closing the output when stopping the game (2.1)
2017-03-24 22:50:02 +01:00
a531051a61
Only assume HiDPI mode if DPI >= 192 and width > 2000
...
Also use single-dock column if width < 1200.
Manually adapted from bfe67a3b87c103f32ea3Fixes #6096 .
2017-03-24 18:26:56 +01:00
e1d18e6481
Add editor option for automatically closing the output when stopping the game
...
(back-ported from 1bd1af776c
2017-03-21 12:47:05 +01:00
3c16e7842f
Editor: Fix "About" dialog
...
Use a HBoxContainer instead of hardcoded positions.
(cherry picked from commit 7ec697695f
2017-03-19 00:44:05 +01:00
f8db8a3faa
Bring that Whole New World to the Old Continent too
...
Applies the clang-format style to the 2.1 branch as done for master in
5dbf1809c6
2017-03-19 00:36:26 +01:00
1b0e2b0c39
Refactoring: rename tools/editor/ to editor/
...
The other subfolders of tools/ had already been moved to either
editor/, misc/ or thirdparty/, so the hiding the editor code that
deep was no longer meaningful.
(Manual redo of 49c065d29c
2017-03-18 23:45:45 +01:00
Rémi Verschelde
Pedro J. Estébanez
Andreas Haas