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)
commitee8d69f9ab839ca2ea408787ab49dea683c2e5a1
treeca18f4703730b43795a26609bacbadeb59f0d531
parent726bae2e59d4e98e2f84613dd1d7e017cbd3c753
added configurability of element properties button in editor
src/editor.c