Hello Dodji, There is a bug in the current release of glade [0] and it has corrupt the preferencesdialog.ui in one of your commit [1]. There is two solutions: 1. Be careful while editing the preferencesdialog.ui and fix it by hand each time the preferencesdialog.ui is modified until the bug is fixed in glade. 2. Change the AT&T string into ATT to avoid the bug. Whatever solution you choose to use, I have attached a patch to this e-mail for both. [0] https://bugzilla.gnome.org/show_bug.cgi?id=654609 [1] http://git.gnome.org/browse/nemiver/diff/src/persp/dbgperspective/ui/preferencesdialog.ui?id=2166288c38cee71eb15b17670f65edab884b96f2 Fabien
Attachment:
0001-Fix-a-string-altered-by-a-bug-in-glade.patch
Description: Binary data
Attachment:
0001-Use-ATT-for-disassembly-flavor-to-avoid-a-glade-bug.patch
Description: Binary data