]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.common: only save tool-dim when not fullscreen.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Oct 2017 23:16:53 +0000 (16:16 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Oct 2017 23:16:53 +0000 (16:16 -0700)
commitb90f37b13eeaaec45246dbc2591adf4f9a5459c2
tree7cd78a318eb3968a30929e264314dac48590d712
parentc2c879c9997913a655c36ba750896e6627e4e650
ui.tools.common: only save tool-dim when not fullscreen.
basis/ui/tools/common/common.factor