Re: [gedit-list] Feature request
- From: Simon van der Linden <simon vanderlinden eu org>
- To: gedit-list gnome org
- Subject: Re: [gedit-list] Feature request
- Date: Mon, 01 Sep 2008 11:19:33 +0200
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.
However, I'm not a specialist of GEdit's internals and I'm certainly wrong on some points.
Cheers,
--
Simon van der Linden <simon vanderlinden eu org>
[Date Prev][
Date Next] [Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]