git.zerfleddert.de Git - micropolis/commit

]> git.zerfleddert.de Git - micropolis/commit

author	Michael Gernoth <michael@gernoth.net>
	Mon, 14 Jan 2008 09:11:50 +0000 (10:11 +0100)
committer	Michael Gernoth <michael@gernoth.net>
	Mon, 14 Jan 2008 09:11:50 +0000 (10:11 +0100)
commit	e7d465f261b2c0b34112a9779d27366a0beaa292
tree	d6ed225c7b2780d92b1b4557f9a9b540eddcdbf7	tree \| snapshot
parent	6ae3b055556cfa72d72bfbc4e5a2516a72f7d60b	commit \| diff

allow window to be resized
this is not optimal, as the embedded subwindows do not resize but at least it
is usable on smaller displays

Micropolis