[Bug 702314] Re: Pressing F10 makes desktop unresponsive

2012-09-26 Thread Tim Camper
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_g

[Bug 702314] Re: Pressing F10 makes desktop unresponsive

2012-09-26 Thread Tim Camper
addendum to https://bugs.launchpad.net/ubuntu/+source/vim/+bug/702314/comments/5 NOTE: I originally saw the bug in vim-gtk, and then later in vim-gnome (pkg version 2:7.3.429-2ubuntu2.1.) NOTE: my build procedure was incomplete, sorry: 6) $ make 7) $ make install -- You received this bug noti

[Bug 702314] Re: Pressing F10 makes desktop unresponsive

2012-09-26 Thread Tim Camper
I tried vim-gnome (7.3.429 from the debian package maintainers), and the behavior is the same. Built vim from source (7.3.672 from Bram himself) and the behavior is the same. My build procedure: 1) $ sudo aptitude purge vim.gtk vim-gui-common vim-runtume vim 2) $ cd /tmp 3) $ hg clone https://vi

[Bug 702314] Re: Pressing F10 makes desktop unresponsive

2012-09-25 Thread Tim Camper
Me, too. Same lock-up after F10, same workaround involving Alt-F then Esc. Considering disabling F10 in gvim via ~/.config/openbox/rc.xml. Lubuntu 12.04.1, Macbook Air 5,5 from $ aptitude show vim-gtk libgtk2.0-0 package: vim-gtk version: 2:7.3.429-2ubuntu2.1 Depends: vim-gui-common (= 2:7.3.4