Mihai Sucan be0d9a2be7 More fixes for issue 57. ... - move the selection highlight code to the Text mode. - store $selectionOccurrences in the editor session. - add option to toggle selection highlighting. In demo page as well.		2011-02-14 20:43:54 +02:00
..
icons	add some eclipse icons	2011-01-23 17:47:31 +01:00
boot.js	moving the textarea into view broke rendering	2011-02-01 09:09:40 +01:00
demo.js	More fixes for issue 57.	2011-02-14 20:43:54 +02:00
logo.png	move files one level up	2010-10-27 12:39:54 +02:00
require.js	upgrade to requirejs - warning the copy in demo is only a partial upgrade to fix the immediate text loading issue	2010-11-15 12:59:24 +00:00
styles.css	Revert "add anchor demo"	2011-02-11 11:59:26 +01:00