1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23 import gtk
24 import pango
25
26 MENU_ITEM_RADIUS = 2
27 DEFAULT_WINDOW_WIDTH = 890
28 DEFAULT_WINDOW_HEIGHT = 629
29
30 EDGE_DICT = {
31 gtk.gdk.TOP_LEFT_CORNER : gtk.gdk.WINDOW_EDGE_NORTH_WEST,
32 gtk.gdk.TOP_SIDE : gtk.gdk.WINDOW_EDGE_NORTH,
33 gtk.gdk.TOP_RIGHT_CORNER : gtk.gdk.WINDOW_EDGE_NORTH_EAST,
34 gtk.gdk.LEFT_SIDE : gtk.gdk.WINDOW_EDGE_WEST,
35 gtk.gdk.RIGHT_SIDE : gtk.gdk.WINDOW_EDGE_EAST,
36 gtk.gdk.BOTTOM_LEFT_CORNER : gtk.gdk.WINDOW_EDGE_SOUTH_WEST,
37 gtk.gdk.BOTTOM_SIDE : gtk.gdk.WINDOW_EDGE_SOUTH,
38 gtk.gdk.BOTTOM_RIGHT_CORNER : gtk.gdk.WINDOW_EDGE_SOUTH_EAST,
39 }
40
41 WIDGET_POS_TOP_LEFT = 0
42 WIDGET_POS_TOP_RIGHT = 1
43 WIDGET_POS_TOP_CENTER = 2
44 WIDGET_POS_BOTTOM_LEFT = 3
45 WIDGET_POS_BOTTOM_RIGHT = 4
46 WIDGET_POS_BOTTOM_CENTER = 5
47 WIDGET_POS_LEFT_CENTER = 6
48 WIDGET_POS_RIGHT_CENTER = 7
49 WIDGET_POS_CENTER = 8
50
51 font_test_window = gtk.Window(gtk.WINDOW_POPUP)
52 font_test_window.set_default_size(0, 0)
53 font_test_window.move(-1000000, -1000000)
54 DEFAULT_FONT = ' '.join(str(font_test_window.get_pango_context().get_font_description()).split(" ")[0:-1])
55 font_test_window.destroy()
56
57 ALIGN_START = pango.ALIGN_LEFT
58 ALIGN_MIDDLE = pango.ALIGN_CENTER
59 ALIGN_END = pango.ALIGN_RIGHT
60
61 BUTTON_NORMAL = 0
62 BUTTON_PRESS = 1
63 BUTTON_HOVER = 2
64
65 DEFAULT_FONT_SIZE = 9
66 SHADE_SIZE = 200
67
68 COLOR_NAME_DICT = {
69 "dark_grey" : "#333333",
70 "red" : "#FF0000",
71 "orange" : "#FF6C00",
72 "gold" : "#FFC600",
73 "yellow" : "#FCFF00",
74 "green_yellow" : "#C0FF00",
75 "chartreuse" : "#00FF00",
76 "cyan" : "#00FDFF",
77 "dodger_blue" : "#00A8FF",
78 "blue" : "#006AFF",
79 "dark_purple" : "#6A00FF",
80 "purple" : "#BA00FF",
81 "deep_pink" : "#FF00B4"
82 }
83 BLACK_COLOR_MAPPED = "dark_grey"
84 WHITE_COLOR_MAPPED = "dodger_blue"
85 COLOR_SEQUENCE = ["red", "orange", "gold", "yellow", "green_yellow", "chartreuse", "dark_grey",
86 "deep_pink", "purple", "dark_purple", "blue", "dodger_blue", "cyan"]
87 SIMILAR_COLOR_SEQUENCE = ["red", "orange", "gold", "yellow", "green_yellow", "chartreuse",
88 "deep_pink", "purple", "dark_purple", "blue", "dodger_blue", "cyan"]
89