27 |
This conflicts with Ted's prefered space bar binding. |
This conflicts with Ted's prefered space bar binding. |
28 |
|
|
29 |
|
|
30 |
|
Scope |
31 |
|
----- |
32 |
|
|
33 |
|
This PEG describes how to enter and exit search mode. It only touches |
34 |
|
on what will happen *inside* search mode. This should be |
35 |
|
configurable since there are many desirable alternatives; |
36 |
|
the interfaces for this need another PEG. |
37 |
|
|
38 |
|
|
39 |
Description |
Description |
40 |
----------- |
----------- |
41 |
|
|
74 |
(where to move to word "foo" by searching for it, you type |
(where to move to word "foo" by searching for it, you type |
75 |
``Ctrl-S foo Enter``). |
``Ctrl-S foo Enter``). |
76 |
|
|
77 |
|
**As generally all new bindings, these will be optional for now. |
78 |
|
Passing ``--search-bindings-benja`` to Gzz.py will enable them.** |
79 |
|
|
80 |
|
|
81 |
Taking Ted's binding? |
Taking Ted's binding? |
82 |
--------------------- |
--------------------- |