diff options
| author | Pierre Courtieu | 2012-09-05 23:01:53 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-09-05 23:01:53 +0000 |
| commit | ff9ffa9425bbd50240605a3790b19c368c10fedf (patch) | |
| tree | 849e4d331dd0d70590c3f7cfe164b54073d5d29d /pgshell | |
| parent | 444388352f09a850aa128b606de0bc5d6c2852ba (diff) | |
Fixed double hit terminator. Now it is disabled by default, and
enabling it disables electric-terminator and vice-versa. In case both
are non nil at the same time, then electric teminator has priority. If
people like it we may propose this to other modes than coq.
+ fixed window layout policy.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions