Thanks, Lex. Sorry for the delay. Here's the gist: https://gist.github.com/uvtc/ae80c71aa46a55660ad17c485a04b6c5 It's in ~/.config/geany/filedefs.
This is Geany 1.36,
(built on or after 2019-11-20) Using GTK+ v3.24.20 and GLib v2.64.2 runtime libraries
Thanks. -- John
On Fri, May 29, 2020, at 8:14 PM, Lex Trotman wrote:
On Sat, 30 May 2020 at 09:30, John Gabriele jgabriele@fastmail.fm wrote:
On Fri, May 29, 2020, at 7:00 PM, Lex Trotman wrote:
On Sat, 30 May 2020 at 08:15, John Gabriele jgabriele@fastmail.fm wrote:
Hi,
I'd like to increase the vertical spacing between lines.
I found this issue https://github.com/geany/geany/issues/1592, and so went to "Tools --> Configuration Files --> filetypes.common", but changes I make and save there don't seem to have any effect. So, a few questions:
- What is the syntax for this config file? Does a leading space indicate a comment? Do I need the pound sign or remove it?
# == comment
Hi Lex. Thanks.
The file is filled with descriptive lines of text, but they are not commented. Is a leading space also considered a comment?
- What are the units for the line spacing (line_height). Pixels?
yes
- How do I get my changes here to take affect?
Save the filetypes.common opened from the menu above WFM.
What does WFM mean?
Works for me.
I've tried changing the settings, uncommenting the `[styling]` marker, changing the font, and restarting Geany, but nothing gets the line spacing to change.
This is on Debian Testing, with Geany 1.36.
A quick search for `line_height` finds several issues like this, https://github.com/geany/geany/issues/2287#issuecomment-610713286 where the exact content is shown. You probably are missing the [styling] section.
Thanks for the link, and the help, but that doesn't appear to fix it. Any ideas what else could be the issue?
No, without further information. Maybe attach your filetypes.common, or better still put it on a gist (https://gist.github.com/) and mail a link so you don't spam everybody with your file.
Cheers Lex
Thanks, -- John _______________________________________________ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users