]> gitweb.factorcode.org Git - factor.git/commit
editors: added pref-dim* for action-editor
authornicolas-p <z.nicolas@gmail.com>
Wed, 24 May 2017 11:44:19 +0000 (13:44 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 29 May 2017 15:08:21 +0000 (08:08 -0700)
commitc1d33065ad509ddc357961089b28e630a4c67b1c
tree34f038cf1550c80263b91ba965ffe83965c7ea28
parentc8e02d880ebea5f47acfcc54c63a8156caf10972
editors: added pref-dim* for action-editor
basis/ui/gadgets/editors/editors.factor