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 94f75f23a7 Search results display changes: ... * Search results are now appended to the open notes, instead of replacing them. * Already-open notes that also happen to be in the search results are closed so that they're not shown twice.		2007-07-23 23:19:15 +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	Search results display changes:	2007-07-23 23:19:15 +00:00