GNOME-ShellとGNOME Classicは比較的使えるような。でも他のUIは半角全角がうまく機能していないかな >F20 Beta手前