Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #200643
| From | Dan Purgert <dan@djph.net> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Distinguish instances of GUI file manager by color |
| Date | 2018-09-26 14:50 +0200 |
| Message-ID | <wChqp-71E-1@gated-at.bofh.it> (permalink) |
| References | <wCeLT-5qI-13@gated-at.bofh.it> <wCfoB-5Si-3@gated-at.bofh.it> <wCfRE-6hg-19@gated-at.bofh.it> <wCgkG-6qn-15@gated-at.bofh.it> <wCgul-6tG-7@gated-at.bofh.it> |
| Organization | A noiseless patient Spider |
Richard Owlett wrote: > [...] > > On my laptop the default font size is unsuitably small. > A quick web search revealed that is not a mc parameter. > It is a function of the terminal emulator used. I have a MATE desktop. > How do I determine what terminal emulator is in use? I think it's gnome-terminal; but I haven't used MATE in a while. Although, I do recall from my time using it, that one could right-click on the main portion of the window (i.e. where the text is), and you'd get a context menu that'd let you select the settings (font size, color, etc.) NOTE - you may need to do this while mc is not running (IDK if it has its own interpretation of a right click that may get in the way). -- |_|O|_| Registered Linux user #585947 |_|_|O| Github: https://github.com/dpurgert |O|O|O| PGP: 05CA 9A50 3F2E 1335 4DC5 4AEE 8E11 DDF3 1279 A281
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-26 12:00 +0200
Re: Distinguish instances of GUI file manager by color Dan Purgert <dan@djph.net> - 2018-09-26 12:40 +0200
Re: Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-26 13:10 +0200
Re: Distinguish instances of GUI file manager by color Dan Purgert <dan@djph.net> - 2018-09-26 13:40 +0200
Re: Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-26 13:50 +0200
Re: Distinguish instances of GUI file manager by color Dan Purgert <dan@djph.net> - 2018-09-26 14:50 +0200
Re: Distinguish instances of GUI file manager by color Felix Miata <mrmazda@earthlink.net> - 2018-09-26 15:10 +0200
Re: Distinguish instances of GUI file manager by color Dominic Knight <dominicknight@gmx.com> - 2018-09-27 02:50 +0200
Re: Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-27 04:50 +0200
Re: Distinguish instances of GUI file manager by color Felix Miata <mrmazda@earthlink.net> - 2018-09-27 05:20 +0200
Re: Distinguish instances of GUI file manager by color "hdv@gmail" <hdv.jadev@gmail.com> - 2018-09-26 13:50 +0200
Re: Distinguish instances of GUI file manager by color mick crane <mick.crane@gmail.com> - 2018-09-26 14:00 +0200
Re: Distinguish instances of GUI file manager by color mick crane <mick.crane@gmail.com> - 2018-09-26 14:40 +0200
Re: Distinguish instances of GUI file manager by color didier gaumet <didier.gaumet@gmail.com> - 2018-09-27 09:00 +0200
UPDATE - was [Re: Distinguish instances of GUI file manager by color] Richard Owlett <rowlett@cloud85.net> - 2018-09-27 12:00 +0200
csiph-web