Re: [gedit-list] Matching brackets
- From: Marcus Lunzenauer <mlunzena uni-osnabrueck de>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] Matching brackets
- Date: Tue, 26 Sep 2006 14:01:12 +0200
GtkSourceBuffer does not happen to have a find_matching_bracket method.
Is this method available in the Python console?
While reading the pygtk GtkSourceView reference, I stumbled across the
GtkSourceMarkers. Would those enable me to set and jump to marks in my
documents? Can I even see those markers as tiny circles? Is there
already some kind of implementation I am unaware of?
Ciao, Marcus
Paolo Borelli wrote:
No there isn't yet, but maybe we should consider including it... the
usual issue is finding a good shortcut: good key combinations are a
limited resource and we should choose carefully which ones to consume.
Apart from that, doing it as a plugin is definately doable: there is
even a gtk_source_buffer_find_matching_bracket() function. In fact you
could even reimplement the bracket highlighting in the plugin setting a
higher (or no) limit.
I don't think such plugin exists yet.
ciao
Paolo
Thanks a lot,
Marcus
_______________________________________________
gedit-list mailing list
gedit-list gnome org
http://mail.gnome.org/mailman/listinfo/gedit-list
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]