diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-09-05 23:01:53 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-05 23:01:53 +0000 |
commit | ff9ffa9425bbd50240605a3790b19c368c10fedf (patch) | |
tree | 849e4d331dd0d70590c3f7cfe164b54073d5d29d /generic/pg-response.el | |
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 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 561436b0..40ed9ae8 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -121,7 +121,7 @@ Following POLICY, which can be one of 'smart, 'horizontal, 'vertical." (split-window-horizontally) (other-window 1) (switch-to-buffer b2)) - ((eq policy 'vertically) + ((eq policy 'vertical) (split-window-vertically) (other-window 1) (switch-to-buffer b2)) |