ajaxorg/ace — pull request #546 by nightwing (2011-12-01 20:07:46+00:00)
Title: a small followup for structured folding

added special handling for shift/ctrl click on foldWidget

and added foldWidget == null check in gutter.js to distinguish between lines not having folds and just modified lines with unknown folds

probably there's a better way (maybe returning "none" for no fold case) but i think this is better.