menu

How to have less padding in the menu area of Firefox 92.

by

This userChrome.css sample will reduce the padding betwixt menu sections in the Firefox 92 User Interface. userChrome.css1 2 3 4 5 6 7 8 9 10 11 12 /* Do not remove the @namespace line — it’s required for correct functioning */ /*@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");*/   @media (-moz-proton) { /* Tighten up drop-down/context/popup menu spacing */ … Read more

Install a nice custom desktop theme for Ubuntu 20.04.

by

There are a few very useful Linux packages for Ubuntu 20.04. They can make your desktop look incredible. Install these packages like this. jason@jason-virtual-machine:~$ sudo apt install gnome-shell-extension-dash-to-panel gnome-shell-extension-arc-menu gnome-shell-extension-weatherjason@jason-virtual-machine:~$ sudo apt install gnome-shell-extension-dash-to-panel gnome-shell-extension-arc-menu gnome-shell-extension-weather Then enable the extensions with gnome-tweak. This is what my Gnome 3 desktop looks like now. The Arc menu … Read more

Evolution of operating system menus from early Gnome to Gnome Shell.

by

The early Gnome desktop is quite interesting, it had a Windows styled menu with a easy to use taskbar. https://www.ocf.berkeley.edu/~bobk/gnome/1.2/gnome-1.2-menu02.png. Source: https://www.ocf.berkeley.edu/~bobk/gnome/. This is the old Gnome 1.0 configuration application. Very dated indeed, this is when they had Enlightenment as the Window Manager of Gnome. Although you could use Sawfish as well. http://www.linuxjournal.com/files/linuxjournal.com/linuxjournal/articles/031/3139/3139f1.jpg. The Gnome … Read more

How to add a custom menu to Fluxbox to list your favorite applications.

by

Adding a custom menu to Fluxbox is very easy, this is how. The default ~/.fluxbox/fluxbox-menu file looks like this, it reads the /etc/X11/fluxbox/fluxbox-menu file to create the root menu for Fluxbox. [begin] (fluxbox)   [include] (/etc/X11/fluxbox/fluxbox-menu) [end][begin] (fluxbox) [include] (/etc/X11/fluxbox/fluxbox-menu) [end] But if you add a simple submenu to it like this, then you get … Read more

Some very useful Gnome Shell extensions to make this desktop better for the advanced user.

by

Advanced settings in UserMenu: Advanced Settings in UserMenu. Frippery shut down menu: Frippery Shut Down Menu. Add a proper shutdown option to the user menu. Dash to Dock: Dash to Dock. This gives you a lovely dock on the side of your screen. Just like in the Macintosh operating system interface. There are useful configuration settings to change … Read more

Fedora 18 Gnome Shell desktop has the Power Off option in the user menu by default.

by

The new Fedora 18 Linux distribution has the Power Off option available in the user menu by default; negating the need to install an add-on from extensions.gnome.org to add this functionality. This is a very good addition to the new Fedora distribution. According to this blog linked here: http://www.dedoimedo.com/computers/gnome-3-6.html. There are other problems with the … Read more

Cool C programs and some very useful code snippets to make programming even more fun.

by

A very obfuscated C program. typedef unsigned char t;t*F="%c",l[]="|\\/=_ \n](.\0(),*(.(=(}*.)[[*.",N=’\n’,* r;typedef(*H)();extern H Ar;Q(a){return(a|-a)>>31;}H S(c,a){return(H)(a&~c|(int )Ar&c);}extern t*ist;V(t*u){*u^=*u&2^(*u>>7)*185;}Z(t*u,t n){*u-=n;}e(t c,H h){ R(h,Q(* r^c));} I(){r=l +7-4*Q( getchar ()^*l); }R(H h, int c){Ar=S (c,h);- main() ;}P(){r ++;}z() { O(&N);} O(t*c){ printf( F,+*c); }T(){r= "This is not a function\n" ;}w(U){ U=Z(r,8 ); r-=~Q(* r/8-4); return 0; }M(){r= ist-68; } h(){t … Read more

Re-installing the Grand Unified Boot loader (GRUB2) in Linux Mint 13.

by

I recently installed Ubuntu 11.10 on my computer, triple-booting with Linux Mint 12 and Linux Mint 13, this overwrote my boot-loader for my Linux Mint 13 installation. Therefore, after booting into my Linux Mint 13 distribution I re-installed the boot-loader using the command-line. Using the grub-install command to re-install the proper boot-loader to the boot … Read more

Setting up the Linux Mint grub menu. How to use a *.png wallpaper to spice up your boot menu.

by

Setting up the Linux Mint grub menu, set a png file as the background This is my copy of the /etc/grub.d/06_mint_theme file I found on my system, I have uncommented quite a lot of the code and I got it working. I then copied a png format image to my /boot/grub folder and then ran … Read more

Updating the grub bootloader and setting various options with Ubuntu or Mint.

by

The grub bootloader used by Ubuntu or Mint is very easy to work with when you wish to add a new kernel or customize the look and feel of the Grub2 bootloader. The listing below is my /etc/default/grub file. This file may be customized with your current desktop resolution so that when the grub menu … Read more

New Windows 8 interface and getting the start menu back.

by

This is what the new copy dialog looks like on Windows 8. The actual process of copying this amount of data over a USB 3.0 connection was actually very fast, the previous versions of Windows were slower at copying data, but now it is getting faster. And I was copying from a 8 GiB USB … Read more