This repository has been archived on 2023-12-16. You can view files and clone it, but cannot push or open issues or pull requests.

Dan Helfman 120c29954c More changes to search results displaying: ... * Now, already open editors that happen to be in the search results are forcibly moved to be with the result of the search results.		2007-07-23 23:42:53 +00:00
..
Editor.js	Increasingly brittle, but this fixes the following bug:	2007-07-23 22:57:48 +00:00
Invoker.js	Renaming repository to new name: luminotes	2007-07-16 20:22:38 +00:00
MochiKit_LICENSE	Renaming repository to new name: luminotes	2007-07-16 20:22:38 +00:00
MochiKit.js	Renaming repository to new name: luminotes	2007-07-16 20:22:38 +00:00
Wiki.js	More changes to search results displaying:	2007-07-23 23:42:53 +00:00