Commit Graph

36 Commits

Author SHA1 Message Date
Danil Alexeev 44bdd8f16c
Improvement for the Copy button in the Output Log
Now if no text is selected, pressing the Copy button copies the entire text.

(cherry picked from commit fb6eb21afc)
2020-09-29 08:54:45 +02:00
Hugo Locurcio c1cf8a5068 Tweak the editor log selection color to match the current editor theme
This overrides the default blue color.

(cherry picked from commit 411af2c750)
2020-05-11 11:39:35 +02:00
Rémi Verschelde a7f49ac9a1 Update copyright statements to 2020
Happy new year to the wonderful Godot community!

We're starting a new decade with a well-established, non-profit, free
and open source game engine, and tons of further improvements in the
pipeline from hundreds of contributors.

Godot will keep getting better, and we're looking forward to all the
games that the community will keep developing and releasing with it.
2020-01-01 11:16:22 +01:00
Haoyu Qiu 078c0d75f2 Cleans up headers included in editor_node.h 2019-12-24 21:46:05 +08:00
Hugo Locurcio ba566dff2e
Distinguish editor-originating messages in the editor log
This fades out messages originating from the editor to make messages
printed by the project stand out more.

This also tweaks wording in some editor messages for consistency.
2019-09-20 01:59:02 +02:00
kbake aa4e27084f fixes 27543, adds a copy button for the editor log 2019-04-30 21:37:24 -04:00
Rémi Verschelde 39bc758bb5
Merge pull request #25549 from Zylann/fix_game_font_size_forced_to_13
Don't modify font which could potentially not be the editor one yet
2019-02-08 12:13:05 +01:00
Marc Gilleron 81a5eb4d18 Don't modify font which could potentially not be the editor one yet 2019-02-01 16:59:55 +01:00
Marc Gilleron fb2eb66e40 Fixed uninitialized log member due to THEME_CHANGED notification 2019-02-01 15:30:44 +01:00
Rémi Verschelde b16c309f82 Update copyright statements to 2019
Happy new year to the wonderful Godot community!
2019-01-01 12:58:10 +01:00
Rémi Verschelde 7b081a7fc8 Fix warnings about unhandled enum value in switch [-Wswitch]
Fixes GCC 5 warnings of the form:

core/io/http_client.cpp:288:9: warning: enumeration value 'STATUS_SSL_HANDSHAKE_ERROR' not handled in switch [-Wswitch]
core/io/marshalls.cpp:806:9: warning: enumeration value 'AABB' not handled in switch [-Wswitch]

Those can be trivial cases where adding a default fallback is the solution,
or more complex issues/hidden bugs where missed values are actually meant
to be handled.
2018-09-27 18:34:30 +02:00
Rémi Verschelde 277b24dfb7 Make core/ includes absolute, remove subfolders from include path
This allows more consistency in the manner we include core headers,
where previously there would be a mix of absolute, relative and
include path-dependent includes.
2018-09-12 09:52:22 +02:00
Chaosus 94cf2133d5 Add warning color to output log 2018-08-13 21:52:38 +03:00
Bernhard Liebl 5120690013 Show error icon at "Output" in case of errors 2018-03-11 14:20:32 +01:00
Rémi Verschelde e4213e66b2 Add missing copyright headers and fix formatting
Using `misc/scripts/fix_headers.py` on all Godot files.
Some missing header guards were added, and the header inclusion order
was fixed in the Bullet module.
2018-01-05 01:22:23 +01:00
Rémi Verschelde dc2cc6bc2b
Merge pull request #15186 from GodotExplorer/default-theme
Fix errors with custom theme and custom font in project settings.
2018-01-04 14:50:15 +01:00
Rémi Verschelde 3f28b72f35
Merge pull request #15066 from poke1024/shortcut-clear-output
Add keyboard shortcut for Clear Output
2018-01-03 10:32:26 +01:00
Rémi Verschelde b50a9114b1 Update copyright statements to 2018
Happy new year to the wonderful Godot community!
2018-01-01 14:40:47 +01:00
geequlim bd0a9f4bd6 Fix errors with custom default theme and custom fonts. 2017-12-30 17:30:37 +08:00
Bernhard Liebl 77b4256718 Add keyboard shortcut for Clear Output 2017-12-26 11:41:38 +01:00
Gilles Roudiere 6f185cc9f7 Remove unecessary anchors&margins set causing bad display (sons of containers) 2017-09-27 00:38:28 +02:00
Rémi Verschelde f577efd47e Merge pull request #11424 from groud/control_node_presets
Implements set_margins_preset(...)
2017-09-26 00:11:46 +02:00
volzhs 79e506ff52 Add font size setting for output panel 2017-09-25 23:43:35 +09:00
Gilles Roudiere 05bb8e0c10 Remove set_area_as_parent_rect and replace it by set_anchors_and_margins_preset(PRESET_WIDE) 2017-09-22 11:39:44 +02:00
Daniel J. Ramirez 059d007423 Use code font in editor log 2017-09-15 20:07:04 -05:00
Daniel J. Ramirez 57fff67580 Fixed some inconsistent styles, plus some cleanup 2017-09-12 13:16:47 -05:00
toger5 18917ad1d6 fixed log colors 2017-09-05 01:10:04 +02:00
Rémi Verschelde bd282ff43f Use HTTPS URL for Godot's website in the headers 2017-08-27 14:16:55 +02:00
Rémi Verschelde 81dde2687f Merge pull request #10164 from djrm/pr_theme_fixes
Visual polishing
2017-08-10 10:46:05 +02:00
Daniel J. Ramirez 273d2ab9d4 Several ui improvements (mostly margins)
Improved colors

Added some missing icons
2017-08-08 11:44:37 -05:00
Juan Linietsky f6ad0ccc63 -Errors are printed again to Output, after a long time. Fixes #3373 2017-08-07 22:51:30 -03:00
Indah Sylvia 5ae78fdf6a Makes all Godot API's methods Lower Case 2017-08-07 18:24:35 +07:00
volzhs bb81293047 New customizable editor theme 2017-05-09 17:46:54 +09:00
Rémi Verschelde df61dc4b2b Add "Godot Engine contributors" copyright line 2017-04-08 00:11:42 +02:00
Rémi Verschelde 5dbf1809c6 A Whole New World (clang-format edition)
I can show you the code
Pretty, with proper whitespace
Tell me, coder, now when did
You last write readable code?

I can open your eyes
Make you see your bad indent
Force you to respect the style
The core devs agreed upon

A whole new world
A new fantastic code format
A de facto standard
With some sugar
Enforced with clang-format

A whole new world
A dazzling style we all dreamed of
And when we read it through
It's crystal clear
That now we're in a whole new world of code
2017-03-05 16:44:50 +01:00
Rémi Verschelde 49c065d29c 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.
2017-03-05 14:21:25 +01:00