Colors | |
1 (Type/Class) | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
2 (Data Constructor) | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
colors | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
column | Vgrep.Widget.Pager.Internal |
Config | |
1 (Type/Class) | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
2 (Data Constructor) | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
config | Vgrep.Environment, Vgrep.Type |
Const | |
1 (Data Constructor) | Vgrep.Environment, Vgrep.Type |
2 (Type/Class) | Vgrep.Environment, Vgrep.Type |
Continue | Vgrep.Event, Vgrep.Widget.Type, Vgrep.Widget |
currentFileName | Vgrep.Widget.Results.Internal, Vgrep.Widget.Results |
currentFileResultLineNumbers | Vgrep.Widget.Results.Internal, Vgrep.Widget.Results |
currentLineNumber | Vgrep.Widget.Results.Internal, Vgrep.Widget.Results |
currentWidget | Vgrep.Widget.HorizontalSplit.Internal, Vgrep.Widget.HorizontalSplit |