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://vim.googlecode.com/hg/ vim  # installed mercurial first
4) $ cd vim/src
5) $ ./configure CFLAGS="-I/usr/include/gtk-2.0 
-L/usr/lib/x86_64-linux-gnu/gtk-2.0"
                important!!  this line should be in the 'configure' output:
                        checking for GTK - version >= 2.2.0... yes; found 
version 2.24.10
                (no "found version" means no gui gets built, silently)

All this proves is that the bug was not introduced into the Vim code by the
debian people.  It could be a Bram bug or a GTK+ bug introduced by
either the debian maintainers or the GTK+ people.

FWIW I also tried vim-athena, but I didn't find it to be a usable option
because I couldn't find a way to reset the font size.  I doesn't have
the F10 problem though, because the menus only respond to mouse clicks,
no hot or arrow keys.

-- 
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

Reply via email to