Syntax editor: Remove obsolete property "has-resize-grip"
authorJohn Darrington <john@darrington.wattle.id.au>
Wed, 29 May 2013 13:54:03 +0000 (15:54 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Fri, 31 May 2013 17:44:41 +0000 (19:44 +0200)
commit116530c35d056ef86c3913a514ba87e012a6aa42
tree2e271ed006711ac9fc07f6bf3be2cc5e442499d2
parentca984f4d0eeb84bce9e1aa3240b638f98795b1a4
Syntax editor: Remove obsolete property "has-resize-grip"
src/ui/gui/syntax-editor.ui