graffy76 3f2ae950f5 Disabled view resize for open views when user setting changes. Fixed ... new view size issue to match existing user settings.		2014-04-24 12:50:10 -05:00
..
doc
filter
settings	Disabled view resize for open views when user setting changes. Fixed	2014-04-24 12:50:10 -05:00
tools	fixed encoding problems	2014-03-21 11:56:48 +01:00
world	removed an unused function	2014-04-20 17:28:10 +02:00