[gedit-plugins] Remove duplicate edit points before text is inserted
- From: Jesse van den Kieboom <jessevdk src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] Remove duplicate edit points before text is inserted
- Date: Wed, 15 Aug 2012 13:53:21 +0000 (UTC)
commit 90c1a311292443e27dd6cb0b92ba05c0c78991ef
Author: Jesse van den Kieboom <jesse vandenkieboom epfl ch>
Date: Wed Aug 15 15:53:13 2012 +0200
Remove duplicate edit points before text is inserted
plugins/multiedit/multiedit/documenthelper.py | 7 ++++++-
1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/plugins/multiedit/multiedit/documenthelper.py b/plugins/multiedit/multiedit/documenthelper.py
index cfc4aaf..4dc55e5 100644
--- a/plugins/multiedit/multiedit/documenthelper.py
+++ b/plugins/multiedit/multiedit/documenthelper.py
@@ -114,6 +114,7 @@ class DocumentHelper(Signals):
return
if newbuf != None:
+ self.connect_signal(newbuf, 'insert-text', self.on_insert_text_before)
self.connect_signal_after(newbuf, 'insert-text', self.on_insert_text)
self.connect_signal(newbuf, 'delete-range', self.on_delete_range_before)
@@ -777,12 +778,16 @@ class DocumentHelper(Signals):
def on_notify_buffer(self, view, spec):
self.reset_buffer(view.get_buffer())
- def on_insert_text(self, buf, where, text, length):
+ def on_insert_text_before(self, buf, where, text, length):
if not self._in_mode:
return
self._remove_duplicate_edit_points()
+ def on_insert_text(self, buf, where, text, length):
+ if not self._in_mode:
+ return
+
self.block_signal(buf, 'insert-text')
buf.begin_user_action()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]