Re: [gedit-list] Tab meaning
- From: Jesse van den Kieboom <jessevdk gnome org>
- To: Peter Waller <peter waller gmail com>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] Tab meaning
- Date: Thu, 15 Apr 2010 14:13:06 +0200
Peter Waller wrote:
> On 15 April 2010 13:19, Peter Waller <peter waller gmail com
> <mailto:peter waller gmail com>> wrote:
>
> This is great, the only problem I had was that the gtksourceview
> object (to which the functions you mention belong) is not
> obtainable from the document object, but from the view object.
>
Ah yes sorry, you need window.get_active_view(), not the document.
>
> I have just discovered another problem, the smartspaces plugin uses
> the tab width rather than the indent width, so deleting an indentation
> doesn't work without changing function calls to get_tab_width to
> get_indent_width.
Hmm, I think that's actually a bug. It probably works, because you can't
normally configure gedit in a way that makes get_tab_width !=
get_indent_width (I mean from the configuration).
>
> Is there any reason not to have the smartspaces plugin use the indent
> width anyway? Shall I file a bug and a patch?
Yes, please file a bug report. Thanks!
>
> Regards,
>
> - Peter
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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]