diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-04 15:21:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-04 15:21:06 +0100 |
| commit | 410373dce7dfd50bcce1a63d07af6cc924acc5ae (patch) | |
| tree | 3132cd97a4c5a24f61cf083a2445eece1c5efe6e /main | |
| parent | 86da206b84e107585deddfebc2c311c9dcc10795 (diff) | |
| parent | 8ca0f1a71c427e9ece931672289d88ad0cbe5a9b (diff) | |
Merge pull request #33333 from Calinou/remove-unused-project-setting
Remove unused `editor/active` project setting
Diffstat (limited to 'main')
| -rw-r--r-- | main/main.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/main/main.cpp b/main/main.cpp index 28c4ef7fbb..28ab80bec2 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -1423,8 +1423,6 @@ bool Main::start() { } } - GLOBAL_DEF("editor/active", editor); - String main_loop_type; #ifdef TOOLS_ENABLED if (doc_tool != "") { |