Linux GTK borders fix, menu tweaks