annotate frontends/src/primitivus/constants.py @ 495:a726b234d3bf

primitivus: moved constants in a separate file
author Goffi <goffi@goffi.org>
date Mon, 03 Sep 2012 23:43:15 +0200
parents
children 024b321c1aa2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
495
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
1 #!/usr/bin/python
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
2 # -*- coding: utf-8 -*-
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
3
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
4 """
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
5 Primitivus: a SAT frontend
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
6 Copyright (C) 2009, 2010, 2011, 2012 Jérôme Poisson (goffi@goffi.org)
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
7
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
8 This program is free software: you can redistribute it and/or modify
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
9 it under the terms of the GNU Affero General Public License as published by
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
10 the Free Software Foundation, either version 3 of the License, or
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
11 (at your option) any later version.
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
12
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
13 This program is distributed in the hope that it will be useful,
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
16 GNU Affero General Public License for more details.
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
17
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
18 You should have received a copy of the GNU Affero General Public License
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
19 along with this program. If not, see <http://www.gnu.org/licenses/>.
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
20 """
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
21 import __builtin__
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
22
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
23 __builtin__.__dict__['const_APP_NAME'] = "Primitivus"
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
24 __builtin__.__dict__['const_PALETTE'] = [
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
25 ('title', 'black', 'light gray', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
26 ('title_focus', 'white,bold', 'light gray', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
27 ('selected', 'default', 'dark red'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
28 ('selected_focus', 'default,bold', 'dark red'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
29 ('default', 'default', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
30 ('default_focus', 'default,bold', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
31 ('alert', 'default,underline', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
32 ('alert_focus', 'default,bold,underline', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
33 ('date', 'light gray', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
34 ('my_nick', 'dark red,bold', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
35 ('other_nick', 'dark cyan,bold', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
36 ('menubar', 'light gray,bold', 'dark red'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
37 ('menubar_focus', 'light gray,bold', 'dark green'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
38 ('selected_menu', 'light gray,bold', 'dark green'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
39 ('menuitem', 'light gray,bold', 'dark red'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
40 ('menuitem_focus', 'light gray,bold', 'dark green'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
41 ('notifs', 'black,bold', 'yellow'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
42 ('notifs_focus', 'dark red', 'yellow'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
43 ('card_neutral', 'dark gray', 'white', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
44 ('card_neutral_selected', 'dark gray', 'dark green', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
45 ('card_special', 'brown', 'white', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
46 ('card_special_selected', 'brown', 'dark green', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
47 ('card_red', 'dark red', 'white', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
48 ('card_red_selected', 'dark red', 'dark green', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
49 ('card_black', 'black', 'white', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
50 ('card_black_selected', 'black', 'dark green', 'standout,underline'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
51 ('directory', 'dark cyan, bold', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
52 ('directory_focus', 'dark cyan, bold', 'dark green'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
53 ('separator', 'brown', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
54 ('warning', 'light red', 'default'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
55 ('progress_normal', 'default', 'black'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
56 ('progress_complete', 'default', 'light red'),
a726b234d3bf primitivus: moved constants in a separate file
Goffi <goffi@goffi.org>
parents:
diff changeset
57 ]