is | : | abstract tagged record | |
Component | Type | Default | |
ID | Integer | 0 | |
Change\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Description | Unbounded_String | ||
Date | Unbounded_String | ||
Function\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | Default | |
Shift_Control_Drag | Unbounded_String | ||
Control_Drag | Unbounded_String | ||
Shift_Drag | Unbounded_String | ||
Drag | Unbounded_String | ||
Shift_Control_Adjust | Unbounded_String | ||
Control_Adjust | Unbounded_String | ||
Shift_Adjust | Unbounded_String | ||
Adjust_Button | Unbounded_String | ||
Shift_Control_Select | Unbounded_String | ||
Control_Select | Unbounded_String | ||
Shift_Select | Unbounded_String | ||
Select_Button | Unbounded_String | ||
Help | Unbounded_String | ||
Icon | Unbounded_String | ||
Menu | Unbounded_String | ||
II_Control_Key | Boolean | false | |
II_Shift_Key | Boolean | false | |
II_Key | Unbounded_String | ||
Amount | Positive | 1 | |
Block | Boolean | false | |
Control_Key | Boolean | false | |
Shift_Key | Boolean | false | |
Key | Unbounded_String | ||
Clicklist\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | Default | |
Associated_Function | Unbounded_String | ||
Search | Unbounded_String | ||
Control_Key | Boolean | false | |
Shift_Key | Boolean | false | |
Alt_Key | Boolean | false | |
Name | Unbounded_String | ||
Key\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | Default | |
II_Control_Key | Boolean | false | |
II_Shift_Key | Boolean | false | |
II_Key | Unbounded_String | ||
Associated_Function | Unbounded_String | ||
Amount | Positive | 1 | |
Block | Boolean | false | |
Control_Key | Boolean | false | |
Shift_Key | Boolean | false | |
Key | Unbounded_String | ||
Key\Section\Type> | |||
is | : | record | |
Component | Type | ||
Key_List | List | ||
Search\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Search | Unbounded_String | ||
Name | Unbounded_String | ||
Replace\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Replace | Unbounded_String | ||
Name | Unbounded_String | ||
Shortcut\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Template | Unbounded_String | ||
Shortcut | Unbounded_String | ||
Syntax\Comment\Type> | |||
is | : | record | |
Component | Type | Default | |
End_With | Unbounded_String | ||
Start_With | Unbounded_String | ||
Start_Where | Comment_StartWhere_Type | AnyWhere | |
Kind | Comment_Type | OneLine | |
Active | Boolean | false | |
ID\Type> | |||
is | : | record | |
Component | Type | ||
ID_Last_Char | Unbounded_String | ||
ID_Middle | Unbounded_String | ||
ID_First_Char | Unbounded_String | ||
Syntax\Options\Type> | |||
is | : | record | |
Component | Type | Default | |
Numbers | Number_Colouring_Status_Type | exp | |
Hex_Postfix | Unbounded_String | ||
Bin_Postfix | Unbounded_String | ||
Hex_Prefix | Unbounded_String | ||
Bin_Prefix | Unbounded_String | ||
QuoteChar | Unbounded_String | ||
SplitString | Boolean | false | |
QuoteQuote | Boolean | false | |
DoubleQuote | Boolean | false | |
SingleQuote | Boolean | false | |
Syntax\Word\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Word | Unbounded_String | ||
Syntax\Word\Section\Type> | |||
is | : | record | |
Component | Type | Default | |
Words | List | ||
Case_Sensitive | Boolean | true | |
Search | Unbounded_String | ||
End_Type | Syntax_Word_End_Type | EndNonID | |
Start_Type | Syntax_Word_Start_Type | AnyWhere | |
Syntax\Colouring\Type> | |||
is | : | record | |
Component | Type | ||
SyntaxWords | Syntax_Word_List_Type | ||
Options | Syntax_Options_Type | ||
Comment_2 | Syntax_Comment_Type | ||
Comment_1 | Syntax_Comment_Type | ||
ID | ID_Type | ||
Fold\Type> | |||
is | : | record | |
Component | Type | Default | |
Case_Nocase | Boolean | false | |
Where | Fold_Where_Type | StartOfLine | |
End_Fold | Unbounded_String | ||
Start_Fold | Unbounded_String | ||
Active | Boolean | false | |
SmartIndent\Type> | |||
is | : | record | |
Component | Type | Default | |
Outdent_Char | Unbounded_String | ||
Indent_Char | Unbounded_String | ||
Indent_Size | Natural | 0 | |
Misc\Type> | |||
is | : | record | |
Component | Type | Default | |
SmartIndent | SmartIndent_Type | ||
Print_Footer | Unbounded_String | ||
Print_Header | Unbounded_String | ||
Fold_Parameter2 | Fold_Type | ||
Fold_Parameter1 | Fold_Type | ||
ModeType | ModeType_Type | Standard | |
Tabstops | Unbounded_String | ||
Bitmap | Unbounded_String | ||
Help_Path | Unbounded_String | ||
ModeWhen\Rules\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Match | Unbounded_String | ||
Path | Unbounded_String | ||
Filetypes | Unbounded_String | ||
Applies_To | Applies_To_Type | ||
ModeWhen\Match\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Search | Unbounded_String | ||
Name | Unbounded_String | ||
ModeWhen\Display\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | Default | |
Display | ModeWhen_DisplayKind_Type | Byte_Display | |
Path | Unbounded_String | ||
Filetypes | Unbounded_String | ||
Mode\Type> | |||
is | : | record | |
Component | Type | ||
ModeWhen | ModeWhen_Type | ||
Shortcuts | List | ||
Keylist | Key_List_Type | ||
Clicklists | List | ||
Syntax_Colouring | Syntax_Colouring_Type | ||
Functions | List | ||
Misc | Misc_Type | ||
Replaces | List | ||
Searches | List | ||
Changes | List | ||
Purpose | Unbounded_String | ||
Webpage | Unbounded_String | ||
Unbounded_String | |||
Version | Unbounded_String | ||
Author | Unbounded_String | ||
Licence | Unbounded_String | ||
Name | Unbounded_String | ||
FileLock\Element\Type> | |||
is | : | tagged record | |
Extends | : | Mode_Element | |
Component | Type | ||
Path | Unbounded_String | ||
Filetypes | Unbounded_String | ||
FileLock\Type> | |||
is | : | record | |
Component | Type | ||
FileLock | List | ||
[ Manual root ]