|
MENU_ITEM_RADIUS = 2
|
|
DEFAULT_WINDOW_WIDTH = 890
|
|
DEFAULT_WINDOW_HEIGHT = 629
|
|
EDGE_DICT = {gtk.gdk.TOP_LEFT_CORNER: gtk.gdk.WINDOW_EDGE_NORT...
|
|
WIDGET_POS_TOP_LEFT = 0
|
|
WIDGET_POS_TOP_RIGHT = 1
|
|
WIDGET_POS_TOP_CENTER = 2
|
|
WIDGET_POS_BOTTOM_LEFT = 3
|
|
WIDGET_POS_BOTTOM_RIGHT = 4
|
|
WIDGET_POS_BOTTOM_CENTER = 5
|
|
WIDGET_POS_LEFT_CENTER = 6
|
|
WIDGET_POS_RIGHT_CENTER = 7
|
|
WIDGET_POS_CENTER = 8
|
|
font_test_window = gtk.Window(gtk.WINDOW_POPUP)
|
|
DEFAULT_FONT = ' '.join(str(font_test_window.get_pango_context...
|
|
ALIGN_START = pango.ALIGN_LEFT
|
|
ALIGN_MIDDLE = pango.ALIGN_CENTER
|
|
ALIGN_END = pango.ALIGN_RIGHT
|
|
BUTTON_NORMAL = 0
|
|
BUTTON_PRESS = 1
|
|
BUTTON_HOVER = 2
|
|
DEFAULT_FONT_SIZE = 9
|
|
SHADE_SIZE = 200
|
|
COLOR_NAME_DICT = {"dark_grey": "#333333", "red": "#FF0000", "...
|
|
BLACK_COLOR_MAPPED = "dark_grey"
|
|
WHITE_COLOR_MAPPED = "dodger_blue"
|
|
COLOR_SEQUENCE = ["red", "orange", "gold", "yellow", "green_ye...
|
|
SIMILAR_COLOR_SEQUENCE = ["red", "orange", "gold", "yellow", "...
|