defaultColors | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
defaultConfig | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
defaultKeybindings | Vgrep.Environment.Config, Vgrep.Environment, Vgrep.Type |
DefName | Control.Lens.Compat |
Del | Vgrep.Key |
dispatch | Vgrep.Event |
dispatchMap | Vgrep.Event |
DisplayLine | Vgrep.Widget.Results.Internal |
displayLineNumber | Vgrep.Widget.Results.Internal |
DisplayPagerOnly | Vgrep.Command |
DisplayResultsOnly | Vgrep.Command |
Down | Vgrep.Key |
draw | Vgrep.Widget.Type, Vgrep.Widget |
dropFormatted | Vgrep.Ansi.Type, Vgrep.Ansi |