Re: [gedit-list] Tab meaning
- From: Peter Waller <peter waller gmail com>
- To: Jesse van den Kieboom <jessevdk gnome org>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] Tab meaning
- Date: Thu, 15 Apr 2010 13:19:59 +0200
Hi Jesse, thanks for your quick response.
On 15 April 2010 12:32, Jesse van den Kieboom
<jessevdk gnome org> wrote:
The idea, I think, is then to use the following settings:
tab-width: 4
indent-width: 2
insert-spaces-instead-of-tabs: True
See the gtksourceview API documentation for more information on these
properties. In gedit, you can very easily try out different settings
using the Python Console plugin. In the bottom pane of this plugin, type:
doc = window.get_active_document()
doc.set_insert_spaces_instead_of_tabs(True)
doc.set_tab_width(4)
doc.set_indent_width(2)
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.
The documentation here makes this clear:
Thanks,
- Peter
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]