On Mon, 2019-07-08 at 01:44 +0000, 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 .mp4 icons in the file manager, we would
> have most of our CentOS 7 issues resolved.
>
I don't have mplayer installed but you should be able to change the default
player to mplayer from Settings ==> Details ==> Default Applications