added configurability of element properties button in editor
authorHolger Schemel <info@artsoft.org>
Mon, 2 Feb 2015 23:17:57 +0000 (00:17 +0100)
committerHolger Schemel <info@artsoft.org>
Mon, 2 Feb 2015 23:17:57 +0000 (00:17 +0100)

No differences found