How to autohide top and bottom panels in RHEL 7 while application is running I don’t think GNOME 3 or GNOME 3 classic has this function available or there any plugins that supports so. If you need this function that the panel can hide automatically, you may consider another desktop environment, such as MATE, that […]
Posts tagged Gnome3
11 posts in total.
How to remove the bottom panel in gnome 3 classic?
The gnome 3 classic’s bottom panel looks not useful to me. I do not use it. How to remove the bottom panel in gnome 3 classic? That bottom panel is from the “Window List” plugin. The gnome 3 classic package depends on that plugin package on CentOS 7 as far as I checked. And Gnome […]
How to force ibus to restart in Gnome 3?
How to force ibus to restart in Gnome 3? There used to be a menu. But it does not provide the restart option anymore. To kill current ibus daemon: pkill -o ibus-daemon To start a new ibus daemon in Gnome 3, run this command in “Enter a command” tool by Alt+F2: /usr/bin/ibus-daemon –replace –xim –panel […]
How to exclude users from GDM login screen?
How to exclude users from appearing in the GDM login screen of Gnome 3? There is a long-time bug related to this ( https://bugzilla.redhat.com/show_bug.cgi?id=723708 ) which causes that the /etc/gdm/custom.conf has no effect. The closes workaround I find working on Fedora 20 is to totally disable listing of users (run as root): cat > /etc/dconf/db/gdm.d/01-mysettings […]
How to make Alt-Tab switch among windows instead of applications in Gnome 3?
The default Alt-Tab in Gnome 3 switches among applications and windows are grouped by application. How to make Alt-Tab switch among windows instead of applications in Gnome 3? Check the Alternate Tab Gnome 3 extension and you will love it. Substitute Alt-Tab with a window based switcher that does not group by application. This extension […]
How to change the fonts used in Gnome 3?
How to change the fonts used in Gnome 3? The default configuration tool of gnome does not provide an option to change the fonts. However, the gnome-tweak-tool provides it. If you have not installed it, you need to install it first. On Fedora, run # yum install gnome-tweak-tool. Then you can run gnome-tweak-tool and set […]
How to change the fonts of gnome-shell for gnome3?
How to change the fonts of gnome-shell for gnome3? Like the system bar. The fonts of gnome-shell is described in its own theme. For the default gnome-shell, you need to edit the file as root: /usr/share/gnome-shell/theme/gnome-shell.css Right, it is a css file. Find the font-family keyword and change the corresponding fonts. Then you can restart […]
How to change the window title font family and size in Gnome 3?
It was ever possible to set it in gnome-teak-tool. However, in the latest Gnome 3, it disappears. Is there any other way to set it? The configuration is the org.gnome.desktop.wm.preferences titlebar-font under dconf. You can use dconf-editor to find the appropriate key entry and set it. Or use gsettings: $ gsettings set org.gnome.desktop.wm.preferences titlebar-font ‘Sans […]
How to restore a Gnome 3 session?
How to restore a Gnome 3 session? Which means: opening all the programs running last time when I log out in Gnome 3. If your purpose is to automatically start programs after logging in Gnome, another possible method is using the autostart script: https://www.systutorials.com/qa/119/how-to-write-a-autostart-script-for-gnome Answered by anonymous. Run gnome-session-properties. In the “Options” tab, select “Automatically […]
How to restart Gnome 3 without closing the programs running?
What I want is to just restart Gnome 3 only and not to close and reopen the programs running. Thanks a lot! Just run r in Gnome 3’s “Run command” Box: Alt + F2, then enter r and hit Enter. Gnome 3 will restarts itself only. Answered by anonymous.
Essential Gnome Shell Extensions for Gnome 3 Users
Gnome Shell has a clean design. But many users want to get more from the desktop environment. Gnome 3’s extension system can help users customize the Gnome Shell’s look greatly. In this post, we summarize 6 extensions we considered essential to make Gnome Shell great. AlternateTab ∞ Make Alt-Tab “classic” instead of grouping windows by […]