MikeRatcliffe/Acebug — comment on commit 69ab8ac390e221343c9cd9d9d64feb39fd533b1a
File: chrome/content/aceEditor.js line 314
By nightwing:

thanks, good catch!
fixed in 93dd6b3