Syntax menu definition: Rename "menuitem7" to "edit-menu"
authorJohn Darrington <john@darrington.wattle.id.au>
Sun, 3 Jan 2016 10:00:50 +0000 (11:00 +0100)
committerJohn Darrington <john@darrington.wattle.id.au>
Sun, 3 Jan 2016 20:45:53 +0000 (21:45 +0100)
commit464cfa22be730169c6a7f3026af3ee29e93d35e1
treee790b84ffd5b471370c2d2534f1d6b45d9989d03
parent1b5c2d8fe129a5f8db76c42250a9c199deccb773
Syntax menu definition: Rename "menuitem7" to "edit-menu"
src/ui/gui/syntax-editor.ui