1
{$IfDef read_interface}
12
GNOME_KEY_NAME_EXIT = 'Q';
13
GNOME_KEY_MOD_EXIT = GDK_CONTROL_MASK;
14
GNOME_KEY_NAME_CLOSE = 'W';
15
GNOME_KEY_MOD_CLOSE = GDK_CONTROL_MASK;
16
GNOME_KEY_NAME_CUT = 'X';
17
GNOME_KEY_MOD_CUT = GDK_CONTROL_MASK;
18
GNOME_KEY_NAME_COPY = 'C';
19
GNOME_KEY_MOD_COPY = GDK_CONTROL_MASK;
20
GNOME_KEY_NAME_PASTE = 'V';
21
GNOME_KEY_MOD_PASTE = GDK_CONTROL_MASK;
22
GNOME_KEY_NAME_SELECT_ALL = 0;
23
GNOME_KEY_MOD_SELECT_ALL = 0;
24
GNOME_KEY_NAME_CLEAR = 0;
25
GNOME_KEY_MOD_CLEAR = 0;
26
GNOME_KEY_NAME_UNDO = 'Z';
27
GNOME_KEY_MOD_UNDO = GDK_CONTROL_MASK;
28
GNOME_KEY_NAME_REDO = 'R';
29
GNOME_KEY_MOD_REDO = GDK_CONTROL_MASK;
30
GNOME_KEY_NAME_SAVE = 'S';
31
GNOME_KEY_MOD_SAVE = GDK_CONTROL_MASK;
32
GNOME_KEY_NAME_OPEN = GDK_F3;
33
GNOME_KEY_MOD_OPEN = 0;
34
GNOME_KEY_NAME_SAVE_AS = 0;
35
GNOME_KEY_MOD_SAVE_AS = 0;
36
GNOME_KEY_NAME_NEW = 0;
37
GNOME_KEY_MOD_NEW = 0;
38
GNOME_KEY_NAME_PRINT = 0;
39
GNOME_KEY_MOD_PRINT = 0;
40
GNOME_KEY_NAME_PRINT_SETUP = 0;
41
GNOME_KEY_MOD_PRINT_SETUP = 0;
42
GNOME_KEY_NAME_FIND = GDK_F6;
43
GNOME_KEY_MOD_FIND = 0;
44
GNOME_KEY_NAME_FIND_AGAIN = GDK_F6;
45
GNOME_KEY_MOD_FIND_AGAIN = GDK_SHIFT_MASK;
46
GNOME_KEY_NAME_REPLACE = GDK_F7;
47
GNOME_KEY_MOD_REPLACE = 0;
48
GNOME_KEY_NAME_NEW_WINDOW = 0;
49
GNOME_KEY_MOD_NEW_WINDOW = 0;
50
GNOME_KEY_NAME_CLOSE_WINDOW = 0;
51
GNOME_KEY_MOD_CLOSE_WINDOW = 0;
52
GNOME_KEY_NAME_REDO_MOVE = 'R';
53
GNOME_KEY_MOD_REDO_MOVE = GDK_CONTROL_MASK;
54
GNOME_KEY_NAME_UNDO_MOVE = 'Z';
55
GNOME_KEY_MOD_UNDO_MOVE = GDK_CONTROL_MASK;
56
GNOME_KEY_NAME_PAUSE_GAME = 0;
57
GNOME_KEY_MOD_PAUSE_GAME = 0;
58
GNOME_KEY_NAME_NEW_GAME = 'N';
59
GNOME_KEY_MOD_NEW_GAME = GDK_CONTROL_MASK;
61
{$EndIf read_interface}
63
{$Ifdef read_implementation}
65
{$Endif read_implementation}