diff python/ide/ide.py @ 385:d056b552d3f4

Made better use of layout
author Windel Bouwman
date Thu, 01 May 2014 14:03:12 +0200
parents 11c5a8a70c02
children
line wrap: on
line diff