Commit Graph

7 Commits

Author SHA1 Message Date
Rémi Verschelde 9d598833d2 Use HTTPS URL for Godot's website in the headers 2017-08-27 14:11:45 +02:00
Andreas Haas 4d9d3819f0 Project Settings: Use capitalized properties.
There's been some inconsistency between the ProjectSettings and EditorSettings:
One would use "snake_case_properties", the other "Capitalized Properties".

This fixes that by also using capitalized properties for the project settings.
(It's actually the default, so the line setting it to false was just removed..)

Was there a strong reason for using snake_case here in the first place?

(cherry picked from commit 162068640b)
2017-05-26 23:59:03 +02:00
Andreas Haas 66a1e049b0 Tree: Ability to add tooltips to TreeItem buttons.
Adds a tooltip parameter to `TreeItem::add_button()` and set a few tooltips in the Project settings and SceneTree dock.

(cherry picked from commit 29999942a2)
2017-05-26 19:05:09 +02:00
Pedro J. Estébanez 9a0e08a352 Add setting to opt-out of capitalization in the property inspector 2017-04-27 08:46:45 +02:00
Rémi Verschelde e9b045d9e5 Add "Godot Engine contributors" copyright line 2017-04-08 00:45:24 +02:00
Rémi Verschelde 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
Rémi Verschelde 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