diff python/codeeditor.py @ 130:654093a9a1e3

Added icons, improved device explorer
author Windel Bouwman
date Sat, 19 Jan 2013 18:16:04 +0100
parents af0d7913677a
children 81e08e2e7777
line wrap: on
line diff