search

dyoo / WeScheme

29 stars 16 forks source link

changing font size in the editor doesn't track well. #12

Closed dyoo closed 14 years ago

dyoo commented 14 years ago

If the editor's text font is changed several times with Ctrl-+, we don't respond properly to the resizings.