[gedit] Fixed bug with placeholder advancement incorrect when at active snippet
- From: Jesse van den Kieboom <jessevdk src gnome org>
- To: svn-commits-list gnome org
- Subject: [gedit] Fixed bug with placeholder advancement incorrect when at active snippet
- Date: Sun, 10 May 2009 16:54:52 -0400 (EDT)
commit df91529fa6dd5d6aa764766d84692cab44b1e5ee
Author: Jesse van den Kieboom <jesse icecrew nl>
Date: Sun May 10 22:54:43 2009 +0200
Fixed bug with placeholder advancement incorrect when at active snippet
This does fix the problem, although all of this code is so confusing, that I'm not
entirely confident that this does not introduce some other kind of problem...
---
plugins/snippets/snippets/Document.py | 4 +---
1 files changed, 1 insertions(+), 3 deletions(-)
diff --git a/plugins/snippets/snippets/Document.py b/plugins/snippets/snippets/Document.py
index 5bf1870..61ed1cb 100644
--- a/plugins/snippets/snippets/Document.py
+++ b/plugins/snippets/snippets/Document.py
@@ -266,10 +266,8 @@ class Document:
# resolve the 'hugging' problem
current = self.active_placeholder
currentIndex = placeholders.index(current)
-
- found = current
- if current and current == found:
+ if current:
if indexer(currentIndex):
next = placeholders[currentIndex + direction]
elif found:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]