merged main branch

2016-06-24 22:41:28 +02:00 · 2016-06-24 22:41:28 +02:00 · a28bb7be8f
commit a28bb7be8f
parent be443a043f fe8187a413
1 changed files with 323 additions and 35 deletions
--- a/frontends/src/primitivus/constants.py
+++ b/frontends/src/primitivus/constants.py
@ -23,6 +23,7 @@ from sat_frontends.quick_frontend import constants
 class Const(constants.Const):

    APP_NAME = "Primitivus"
+    SECTION_NAME = APP_NAME.lower()
    PALETTE = [
               ('title', 'black', 'light gray', 'standout,underline'),
               ('title_focus', 'white,bold', 'light gray', 'standout,underline'),