diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2007-09-19 23:18:43 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2007-09-19 23:18:43 -0400 |
| commit | 98397b2263e5cfe68fae9c38074e0d61d13ac946 (patch) | |
| tree | fc4477cc8bab85c42dc758f42e6eb5f85329f8ba | |
| parent | 36eb113cf13bded55484ce175a96ca7cab612cf9 (diff) | |
| download | textadept-98397b2263e5cfe68fae9c38074e0d61d13ac946.tar.gz textadept-98397b2263e5cfe68fae9c38074e0d61d13ac946.zip | |
Added interactive search documentation; core/ext/pm.lua
| -rw-r--r-- | core/ext/pm.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/ext/pm.lua b/core/ext/pm.lua index 150646cd..c9bacf9d 100644 --- a/core/ext/pm.lua +++ b/core/ext/pm.lua @@ -5,6 +5,12 @@ -- TODO -- You can add the new browser to the list of browsers in ext/pm.lua. -- +-- Interactive search: +-- Typing text into the project manager view begins the interactive search. +-- If the text matches ANY part of an item in the view (case sensitively), the +-- item is highlighted and subsequent matches can be navigated to using the +-- up/down arrow keys. +-- -- Customizing look and feel: -- There are no function calls to make that customize the look and feel of the -- project manager. Instead you can manipulate it via GTK rc files. The pm |