Branch: refs/heads/master
Author: Matthew Brush <matt(a)geany.org>
Committer: Matthew Brush <matt(a)geany.org>
Date: Wed, 07 Aug 2013 00:42:14 UTC
Commit: 69765fd746c84a014b1c97c43a92c7e0f833c362
https://github.com/geany/geany-plugins/commit/69765fd746c84a014b1c97c43a92c…
Log Message:
-----------
GeanyPy: Prevent exit() in console from exiting Geany
TODO: see about setting sys.excepthook to trap unhandled exceptions
in actual plugin code and rather than dumping to debug messages (or
exiting, in the case of SystemExit exception), present a dialog showing
a user-friendly message with option to see the details/traceback.
Modified Paths:
--------------
geanypy/geany/console.py
Modified: geanypy/geany/console.py
5 files changed, 3 insertions(+), 2 deletions(-)
===================================================================
@@ -517,8 +517,9 @@ def do_raw_input(self, text):
def do_command(self, code):
try:
eval(code, self.locals)
- except SystemExit:
- raise
+# In GeanyPy console, we don't want to exit the process on SystemExit
+# except SystemExit:
+# raise
except:
self.showtraceback()
--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).
Branch: refs/heads/master
Author: Matthew Brush <matt(a)geany.org>
Committer: Matthew Brush <matt(a)geany.org>
Date: Sat, 03 Aug 2013 22:44:44 UTC
Commit: d1a4dd15089551cd2eddcf9beb77ee9256f2d26f
https://github.com/geany/geany-plugins/commit/d1a4dd15089551cd2eddcf9beb77e…
Log Message:
-----------
Markdown: Another try at fixing the scroll jumping
When typing fast the webview would jump to the top, which was super
annoying. This is an attempt to fix the symptom but it doesn't really
address the real cause. Thanks to "moebiuseye" for the patch.
Modified Paths:
--------------
markdown/src/viewer.c
Modified: markdown/src/viewer.c
9 files changed, 7 insertions(+), 2 deletions(-)
===================================================================
@@ -249,9 +249,14 @@ struct _MarkdownViewerPrivate
if (GTK_IS_SCROLLED_WINDOW(parent)) {
GtkAdjustment *adj;
adj = gtk_scrolled_window_get_vadjustment(GTK_SCROLLED_WINDOW(parent));
- self->priv->vscroll_pos = gtk_adjustment_get_value(adj);
+ /* Another hack to try and keep scroll position from
+ * resetting to top while typing, just don't store the new
+ * scroll positions if they're 0. */
+ if (gtk_adjustment_get_value(adj) != 0)
+ self->priv->vscroll_pos = gtk_adjustment_get_value(adj);
adj = gtk_scrolled_window_get_hadjustment(GTK_SCROLLED_WINDOW(parent));
- self->priv->hscroll_pos = gtk_adjustment_get_value(adj);
+ if (gtk_adjustment_get_value(adj) != 0)
+ self->priv->hscroll_pos = gtk_adjustment_get_value(adj);
pushed = TRUE;
}
--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).