scratchbox, scintilla: Add an id column to GtkComboBox used in preferences widgets
commitec8592f2cf5b6ff99928101d2ff29d593e5d33ef
authorSébastien Granjoux <seb.sfo@free.fr>
Fri, 11 Nov 2011 13:58:14 +0000 (11 14:58 +0100)
committerSébastien Granjoux <seb.sfo@free.fr>
Fri, 11 Nov 2011 13:58:31 +0000 (11 14:58 +0100)
treee8f210f783da0bf459453160924406d4c42a6cf8
parenta81a3a5b50d6d251b9b77db0bec2c6e63948ebbd
scratchbox, scintilla: Add an id column to GtkComboBox used in preferences widgets

This is needed to work with the new preference code in anjuta.
plugins/scintilla/anjuta-editor-scintilla.ui
plugins/scratchbox/anjuta-scratchbox.ui
plugins/scratchbox/plugin.c