snippets-manager: Fix bug in gtk+-3 transition.
commit98e2536f281d72cbf1c1ec3ff3dbcf10ced70d9f
authorJohannes Schmid <jhs@gnome.org>
Mon, 13 Dec 2010 23:16:02 +0000 (14 00:16 +0100)
committerJohannes Schmid <jhs@gnome.org>
Mon, 13 Dec 2010 23:16:02 +0000 (14 00:16 +0100)
treea99403a8848dedd8c24fd5b73c7aa20d00c684a9
parent0ba154a04a34a2633629f7730af372d030dd351d
snippets-manager: Fix bug in gtk+-3 transition.
plugins/snippets-manager/snippets-editor.ui