]> git.zerfleddert.de Git - micropolis/commit - res/whead.tcl
correctly resize editor window to be in sync with the mini map
authorMichael Gernoth <michael@gernoth.net>
Mon, 14 Jan 2008 14:18:53 +0000 (15:18 +0100)
committerMichael Gernoth <michael@gernoth.net>
Mon, 14 Jan 2008 14:18:53 +0000 (15:18 +0100)
commitcac78bdea6589c809f22efe666bd367121c15aa3
treeac81fddea47b12b2e6e385b7b2842ba5bfeb8cae
parent2b8964762fece215b12e606abfb75c325f93e27e
correctly resize editor window to be in sync with the mini map
res/whead.tcl
Impressum, Datenschutz