|
experiments
|
triple click selects the whole line
|
2010-04-08 13:14:32 +02:00 |
|
editor.css
|
editor fills whole page
|
2010-04-07 17:49:16 +02:00 |
|
editor.html
|
editor fills whole page
|
2010-04-07 17:49:16 +02:00 |
|
Editor.js
|
only update text layer if the document changes
|
2010-04-08 13:16:03 +02:00 |
|
Editor.mm
|
initial version
|
2010-04-02 15:39:45 +02:00 |
|
GutterLayer.js
|
gutter support
|
2010-04-07 16:27:17 +02:00 |
|
lib.js
|
triple click selects the whole line
|
2010-04-08 13:14:32 +02:00 |
|
TextInput.js
|
externalize the TextInput class
|
2010-04-07 15:06:33 +02:00 |