Re: gedit and tabs [SOLVED]

To: debian-gtk-gnome@lists.debian.org
Subject: Re: gedit and tabs [SOLVED]
From: Andreas Schmidt <andy@space.wh1.tu-dresden.de>
Date: Fri, 9 Jul 2004 11:20:20 +0200
Message-id: <[🔎] 20040709092020.GC1618@rocket>
In-reply-to: <[🔎] 20040708190004.GA1929@rocket> (from andy@space.wh1.tu-dresden.de on Thu, Jul 08, 2004 at 21:00:04 +0200)
References: <[🔎] 20040708190004.GA1929@rocket>

Hi,

On 2004.07.08 21:00, Andreas Schmidt wrote:

I can't seem to change the way tabs are set in gedit (2.6.1-1).Changes of "tabs width" and "insert spaces instead of tabs" via Edit/Preferences/Editor are just ignored, so I'm stuck with a Tabs widthof 8 and tabs, no spaces, inserted. Any idea what might be wrongthere?

I don't know why, but after completing my daily updating session thismorning and restarting gnome everything worked fine: tabs are convertedto spaces and their number also corresponds to the one I set.


Sorry for the noise,

Andreas

Reply to:

References:
- gedit and tabs
  - From: Andreas Schmidt <andy@space.wh1.tu-dresden.de>

Prev by Date: gedit and tabs
Next by Date: [Offer for NMU] Please reupload gimp-print unchanged with urgency=high
Previous by thread: gedit and tabs
Next by thread: [Offer for NMU] Please reupload gimp-print unchanged with urgency=high
Index(es):
- Date
- Thread