diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-20 01:56:09 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-20 01:59:02 +0200 |
| commit | ba566dff2e7c3f98b0ea6e088843e4d9aaa8b531 (patch) | |
| tree | ea07a8339e0e53eb8dad19e4ddd536293a870784 /platform/android/thread_jandroid.h | |
| parent | 2add51d0823fe2ef7cb439a6f3fae17e8dd4717f (diff) | |
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.
Diffstat (limited to 'platform/android/thread_jandroid.h')
0 files changed, 0 insertions, 0 deletions