diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-11-09 01:49:49 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-11-09 01:49:49 (GMT) |
commit | 2df715e74d6600ed0a5688a43f6ecd873957326a (patch) | |
tree | feeb09b609a1fea8ae4441a83107767007ccba37 /src/core/params.h | |
parent | e5808e7df6eb36ff8e150e57e8691a0b05222844 (diff) |
Loaded GTK CSS extensions from files in a given theme directory.
Diffstat (limited to 'src/core/params.h')
-rw-r--r-- | src/core/params.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/params.h b/src/core/params.h index 281e617..2ec45cc 100644 --- a/src/core/params.h +++ b/src/core/params.h @@ -40,6 +40,7 @@ #define MPK_LOCAL_PORT "cdb.network.local.port" #define MPK_SERVER_BACKLOG "cdb.network.server.backlog" #define MPK_FORMAT_NO_NAME "format.symbols.use_phy_instead_of_virt" +#define MPK_INTERNAL_THEME "gui.editor.theme" #define MPK_TITLE_BAR "gui.editor.hide_titlebar" #define MPK_LAST_PROJECT "gui.editor.last_project" #define MPK_MAXIMIZED "gui.editor.start_maximized" |