The cleanest workaround I could come up with:
In my ~/.vimrc.after (but it could go in any of the *rc files vim reads
on startup in your config), I remap F10 to something safe and useful.
if has("gui_running")
" work around linux gui F10 problem by making it a nice safe refresh
if has("gui_gnome") || has("gui_gtk") || has("gui_gtk2")
map <F10> <c-L>
endif
" other gui related stuff . . .
. . .
endif
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/702314
Title:
Pressing F10 makes desktop unresponsive
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/vim/+bug/702314/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
