-
Notifications
You must be signed in to change notification settings - Fork 53
/
gvd-preferences.ads
82 lines (67 loc) · 3.57 KB
/
gvd-preferences.ads
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
------------------------------------------------------------------------------
-- G P S --
-- --
-- Copyright (C) 2000-2018, AdaCore --
-- --
-- This is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. This software is distributed in the hope that it will be useful, --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public --
-- License for more details. You should have received a copy of the GNU --
-- General Public License distributed with this software; see file --
-- COPYING3. If not, go to http://www.gnu.org/licenses for a complete copy --
-- of the license. --
------------------------------------------------------------------------------
with Default_Preferences; use Default_Preferences;
with Default_Preferences.Enums;
with GVD.Types;
package GVD.Preferences is
procedure Register_Default_Preferences
(Prefs : access Preferences_Manager_Record'Class);
-- Register all the preferences relative to GVD, and their default
-- values. This doesn't override existing values of the preferences.
package Debugger_Kind_Preferences is new
Default_Preferences.Enums.Generics (GVD.Types.Debugger_Type);
-----------------------
-- List of constants --
-----------------------
-- See Register_Default_Preferences for a description of what these
-- preferences should be used for.
-- General --
Debugger_Kind : Debugger_Kind_Preferences.Preference;
Break_On_Exception : Boolean_Preference;
Open_Main_Unit : Boolean_Preference;
Execution_Window : Boolean_Preference;
Preserve_State_On_Exit : Boolean_Preference;
-- Source Window --
Continue_To_Line_Buttons : Boolean_Preference;
-- Assembly Window --
Assembly_Range_Size : Integer_Preference;
Asm_Show_Addresses : Boolean_Preference;
Asm_Show_Offset : Boolean_Preference;
Asm_Show_Opcodes : Boolean_Preference;
Asm_Highlight_Instructions : Boolean_Preference;
-- Registers view --
Registers_Hexadecimal : Boolean_Preference;
Registers_Octal : Boolean_Preference;
Registers_Binary : Boolean_Preference;
Registers_Decimal : Boolean_Preference;
Registers_Raw : Boolean_Preference;
Registers_Natural : Boolean_Preference;
-- Memory Window --
Memory_View_Color : Color_Preference;
Memory_Highlighted_Color : Color_Preference;
Memory_Selected_Color : Color_Preference;
Memory_Auto_Refresh : Boolean_Preference;
-- Remote Debugging
Load_Executable_On_Init : Boolean_Preference;
Connection_Timeout : Integer_Preference;
-- Console --
Debugger_Console_All_Interactions : Boolean_Preference;
-- Whether display all interactions in the debugger console
-- Call stack
Frames_Limit : Integer_Preference;
-- How many frames will be fetched at one time
end GVD.Preferences;