Re: [F27] Dolphin status bar has become huge!

2018-07-01 Thread Samuel Sieb
On 07/01/2018 09:25 AM, Frédéric wrote: I suspect this may help fix it, https://bodhi.fedoraproject.org/updates/FEDORA-2018-ce355274aa Yes, it describes perfectly what happens. I will then wait for an update coming. I just hope it won't be too long. You could get the update from updates-testi

Re: [F27] Dolphin status bar has become huge!

2018-07-01 Thread Frédéric
> I suspect this may help fix it, > https://bodhi.fedoraproject.org/updates/FEDORA-2018-ce355274aa Yes, it describes perfectly what happens. I will then wait for an update coming. I just hope it won't be too long. Thanks, F ___ users mailing list -- us

Re: [F27] Dolphin status bar has become huge!

2018-07-01 Thread Frédéric
Hi, > 1. Make sure you have at least one panel open. If you hit "F7" or "F9" the > panels that I use will be opened. > 2. Place you mouse pointed on the border of the panel. > 3. Hold down left mouse button. > 4. Resize the panel. As little as a few pixels will do just fine. > 5. Let go of the l

Re: [F27] Dolphin status bar has become huge!

2018-07-01 Thread Frédéric
Hi, > I don't know what you mean by "status bar". Elaborate please. I mean that the bottom line showing the number of folders and free disk space takes about 10 lines in height (only additional empty space). F ___ users mailing list -- users@lists.fed

Cannot login anymore/GNOME crashes after switching user

2018-07-01 Thread rugk
I experience the following issue in Fedora 28: 1. Login as usual. 2. Lock the user session. (not logout, just "switch user"/lock) 3. Login to another user. 4. Logout of that user session. What happens: I cannot login to the first session anymore. GNOME or so does not seem to only crash once, but

hidpi screens and terminal-based applications

2018-07-01 Thread Matt Morgan
I have a 3200x1800 pixel screen on my HP laptop. Everything running under Gnome is fine, even when I connect to an external monitor--something figures out automatically how to resize the windows/fonts. Great! But with Minecraft and Dwarf Fortress, the text-based parts display so small as to be un