Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #199652
| From | Dan Ritter <dsr@randomstring.org> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Odd problem with MATE Search Tool |
| Date | 2018-08-31 15:20 +0200 |
| Message-ID | <wsRvb-1ag-5@gated-at.bofh.it> (permalink) |
| References | <wsQSt-Iz-1@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On Fri, Aug 31, 2018 at 07:29:26AM -0500, Richard Owlett wrote: > I just installed SciTE text editor from the repository. > The default font size was too small so I went looking for the appropriate > properties file. > > I entered "scite" in the "Name contains:" box and chose "Filesystem" in the > "Look in folder:" box. > > Got no hits. > Doing a reboot had no effect. > Doing a manual browse found the is a /etc/scite directory. > To check the tools functionality I searched for "python" getting many hits > [including /etc/python]. I installed scite: sudo apt install scite I started scite: scite & I clicked on the second Help option. It opened a web page. I read through until I got to: Much of SciTE's behaviour can be changed by editing the properties files. ... There are four properties files used: ... User properties file called "SciTEUser.properties" on Windows and ".SciTEUser.properties" on GTK+ By convention, a dotfile like that will be in your $HOME. A little later I read: font.monospace Defines, with the same syntax as the style properties, the font name and size to be used when the Use Monospaced Font command is performed. > What's happening? I'm typing a response in vim. -dsr-
Back to linux.debian.user | Previous | Next — Previous in thread | Find similar | Unroll thread
Odd problem with MATE Search Tool Richard Owlett <rowlett@cloud85.net> - 2018-08-31 14:40 +0200
Re: Odd problem with MATE Search Tool mick crane <mick.crane@gmail.com> - 2018-08-31 15:10 +0200
Re: Odd problem with MATE Search Tool Richard Owlett <rowlett@cloud85.net> - 2018-08-31 15:30 +0200
Re: Odd problem with MATE Search Tool David <bouncingcats@gmail.com> - 2018-09-04 05:00 +0200
Re: Odd problem with MATE Search Tool Dan Ritter <dsr@randomstring.org> - 2018-08-31 15:20 +0200
csiph-web