2008-02-28 Johannes Schmid <jhs@gnome.org>
commit12d07c7af9f645827f8cef025af0850753e8e754
authorjhs <jhs@1dbfb86a-d425-0410-a06b-cb591aac69f6>
Thu, 28 Feb 2008 08:49:19 +0000 (28 08:49 +0000)
committerjhs <jhs@1dbfb86a-d425-0410-a06b-cb591aac69f6>
Thu, 28 Feb 2008 08:49:19 +0000 (28 08:49 +0000)
treef668ee8f305a50287eac9fe1b9011e2dd63fd2bf
parent5e4b6cee4175858974653f7e776258829046da1f
2008-02-28  Johannes Schmid <jhs@gnome.org>

* plugins/sourceview/anjuta-view.c: (anjuta_view_key_press_event):
Hide tooltip when Up, Down, Page_Up or Page_Down is pressed

git-svn-id: http://svn.gnome.org/svn/anjuta/trunk@3725 1dbfb86a-d425-0410-a06b-cb591aac69f6
ChangeLog
plugins/sourceview/anjuta-view.c