diff python/libs/widgets/codeeditor.py @ 78:85bfa15c01f1

Changed to json
author windel
date Mon, 12 Nov 2012 20:25:41 +0100
parents 4a27c28c7d0f
children
line wrap: on
line diff