[CentOS] gedit font size

2019-07-07 Thread Chris Olson via CentOS
We recently installed CentOS 7 on a system. We chose the GNOME desktop install option and have used yum to install all of the available updates.  The first run of yum update yielded about 450 megabytes of items to be installed or updated. All of the updates have been successful. One issue with our

Re: [CentOS] gedit font size

2019-07-07 Thread Earl Ramirez
> Is there a standard method to make the gedit font size larger? > > You can change the font size from the application itself, Text Editor ==> Preferences ==> Font and color and adjust the size and font as desired. Or you can use gsettings. #Get the font and size gsettings get org.gnome.desktop

Re: [CentOS] gedit font size

2019-07-07 Thread Earl Ramirez
On Mon, 2019-07-08 at 01:44 +, Chris Olson wrote: > Earl, > > Thanks for your very informative reply. We tried changing > the font size from the application and it worked perfectly. Glad that it worked for you > > Now if we could figure out how to launch mplayer with a > double click of

Re: [CentOS] Test

2019-07-07 Thread Jobst Schmalenbach
On Sat, Jul 06, 2019 at 09:37:36AM +0100, Lucian (n...@li.nux.ro) wrote: > Just testing, sorry for the noise. Sorry for highjacking this. I do not receive any of my emails sent to the list although I have ticked "receive you won posts" in the mailman interface. I am trying to trace this problem