diff python/libs/widgets/codeeditor.py @ 87:367006d423ae

Changed selection handles
author windel
date Fri, 23 Nov 2012 18:27:29 +0100
parents 4a27c28c7d0f
children
line wrap: on
line diff