|
View:
New views
3 Messages
—
Rating Filter:
Alert me
|
|
|
Feature requestHello -- I recently entered a feature request and was redirected to this
mailing list. If this is the wrong address, please advise. Thanks. The feature I was looking for is a line spacing option in Gedit's preference dialogue. Specifically, 1.5x or 2x. Reason: I frequently print documents to paper for editing, and a bit of room for inserting text, notes, etc, between the lines is desirable. I realize this can be accomplished by double tapping the enter key, but usually I write without line-breaks, depending on the editor for a carriage return. Double spacing is a feature most often found on word processors and not on desktop editors, but I use Gedit to write markup, articles, etc, because it's light, quick and uncomplicated. It's also very reliable. If this is a complicated issue, don't hesitate to 'file' the idea. Thanks _______________________________________________ gedit-list mailing list gedit-list@... http://mail.gnome.org/mailman/listinfo/gedit-list |
|
|
Re: Feature requestOn Sun, 2008-08-24 at 15:42 -0700, brad wrote:
> Hello -- I recently entered a feature request and was redirected to this > mailing list. If this is the wrong address, please advise. Thanks. > > The feature I was looking for is a line spacing option in Gedit's > preference dialogue. > Specifically, 1.5x or 2x. > > Reason: I frequently print documents to paper for editing, and a bit of > room for inserting text, notes, etc, between the lines is desirable. > I realize this can be accomplished by double tapping the enter key, but > usually I write without line-breaks, depending on the editor for a > carriage return. Double spacing is a feature most often found on word > processors and not on desktop editors, but I use Gedit to write markup, > articles, etc, because it's light, quick and uncomplicated. It's also > very reliable. If this is a complicated issue, don't hesitate to 'file' > the idea. Hi Brad, What do you mean exactly: to have a bigger line spacing on paper or on screen? On screen, the text is displayed with a GTKSourceView, whose style can be customized, but I haven't seen a line-spacing option in the API yet. Then, I think it would be tricky and/or complicated to achieve. On paper, I don't know much. But this could be an option to add to the printing dialog, in the "Text Editor" tab. However, I'm not a specialist of GEdit's internals and I'm certainly wrong on some points. Cheers, -- Simon van der Linden <simon@...> _______________________________________________ gedit-list mailing list gedit-list@... http://mail.gnome.org/mailman/listinfo/gedit-list |
|
|
Re: Feature requestOn Mon, 2008-09-01 at 11:19 +0200, Simon van der Linden wrote:
> On Sun, 2008-08-24 at 15:42 -0700, brad wrote: > > Hello -- I recently entered a feature request and was redirected to this > > mailing list. If this is the wrong address, please advise. Thanks. > > > > The feature I was looking for is a line spacing option in Gedit's > > preference dialogue. > > Specifically, 1.5x or 2x. > > > > Reason: I frequently print documents to paper for editing, and a bit of > > room for inserting text, notes, etc, between the lines is desirable. > > I realize this can be accomplished by double tapping the enter key, but > > usually I write without line-breaks, depending on the editor for a > > carriage return. Double spacing is a feature most often found on word > > processors and not on desktop editors, but I use Gedit to write markup, > > articles, etc, because it's light, quick and uncomplicated. It's also > > very reliable. If this is a complicated issue, don't hesitate to 'file' > > the idea. > > Hi Brad, > > What do you mean exactly: to have a bigger line spacing on paper or on > screen? > > On screen, the text is displayed with a GTKSourceView, whose style can > be customized, but I haven't seen a line-spacing option in the API > yet. Then, I think it would be tricky and/or complicated to achieve. > > On paper, I don't know much. But this could be an option to add to the > printing dialog, in the "Text Editor" tab. I've used Find and replace to double space the text, print it, then undo the change. -- __C U R T I S C. H O V E Y_______ Guilty of stealing everything I am. _______________________________________________ gedit-list mailing list gedit-list@... http://mail.gnome.org/mailman/listinfo/gedit-list |
| Free Forum Powered by Nabble | Forum Help |