ajaxorg/ace — pull request #1085 by nightwing (2012-11-07 06:54:45+00:00)
Title: improve folding behavior

allows to toggle fold widget with double click on fold margin
and fixes comment folding for

```js
// this line was being included in fold bellow
/*
*/
```

@ajaxorg/liskov