Fixed graphical glitches caused by icons overlapping the edge of the editors on the Gnome desktop. Removed style-setting code from SelectionMenu because it will now inherit the same style from the application.