19 Aug
2011
19 Aug
'11
4:35 p.m.
Yesterday Tyron brought to my attention that the editors for Routines, Triggers and Events look quite bad now. I've tracked the issue down to the upgrade of codemirror to version 2.12 (before/after screenshot attached). And in particular these lines of code that were introduced in codemirror.js (lines 775-777):
--->%--- // Needed to prevent odd wrapping/hiding of widgets placed in here. code.style.width = ""; code.style.width = scroller.scrollWidth + "px"; --->%---
I'd like to comment these lines out, since I don't think that there is any other way of fixing the issue. Any objections?
Rouslan
