Mercurial > libervia-backend

comparison sat_frontends/primitivus/constants.py @ 3487:75427f0a5445

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
primivitus: updated constants following global renaming, config section is now `tui` instead of `primitivus`
author Goffi <goffi@goffi.org>
date Sun, 21 Mar 2021 18:16:52 +0100
parents be6d91572633
children
comparison
equal deleted inserted replaced
3486:c9703067c700 3487:75427f0a5445
1 #!/usr/bin/env python3 1 #!/usr/bin/env python3
2
3 2
4 # Primitivus: a SAT frontend 3 # Primitivus: a SAT frontend
5 # Copyright (C) 2009-2021 Jérôme Poisson (goffi@goffi.org) 4 # Copyright (C) 2009-2021 Jérôme Poisson (goffi@goffi.org)
6 5
7 # This program is free software: you can redistribute it and/or modify 6 # This program is free software: you can redistribute it and/or modify
20 from sat_frontends.quick_frontend import constants 19 from sat_frontends.quick_frontend import constants
21 20
22 21
23 class Const(constants.Const): 22 class Const(constants.Const):
24 23
25 APP_NAME = "Primitivus" 24 APP_NAME = "Libervia TUI"
26 SECTION_NAME = APP_NAME.lower() 25 APP_COMPONENT = "TUI"
26 APP_NAME_ALT = "Primitivus"
27 APP_NAME_FILE = "libervia_tui"
28 CONFIG_SECTION = APP_COMPONENT.lower()
27 PALETTE = [ 29 PALETTE = [
28 ("title", "black", "light gray", "standout,underline"), 30 ("title", "black", "light gray", "standout,underline"),
29 ("title_focus", "white,bold", "light gray", "standout,underline"), 31 ("title_focus", "white,bold", "light gray", "standout,underline"),
30 ("selected", "default", "dark red"), 32 ("selected", "default", "dark red"),
31 ("selected_focus", "default,bold", "dark red"), 33 ("selected_focus", "default,bold", "dark red"),
93 LOG_OPT_SECTION = APP_NAME.lower() 95 LOG_OPT_SECTION = APP_NAME.lower()
94 LOG_OPT_OUTPUT = ( 96 LOG_OPT_OUTPUT = (
95 "output", 97 "output",
96 constants.Const.LOG_OPT_OUTPUT_SEP + constants.Const.LOG_OPT_OUTPUT_MEMORY, 98 constants.Const.LOG_OPT_OUTPUT_SEP + constants.Const.LOG_OPT_OUTPUT_MEMORY,
97 ) 99 )
98
99 CONFIG_SECTION = APP_NAME.lower()
100 CONFIG_OPT_KEY_PREFIX = "KEY_" 100 CONFIG_OPT_KEY_PREFIX = "KEY_"
101 101
102 MENU_ID_MAIN = "MAIN_MENU" 102 MENU_ID_MAIN = "MAIN_MENU"
103 MENU_ID_WIDGET = "WIDGET_MENU" 103 MENU_ID_WIDGET = "WIDGET_MENU"
104 104