Simon Kornblith e92a54966c Restore ZoteroPane.destroy() on close ... Seems like a good thing to do, if only because it ensures we persist changes		2015-07-09 18:05:08 -04:00
..
zotero	Restore ZoteroPane.destroy() on close	2015-07-09 18:05:08 -04:00
zotero-platform	Fix Zotero menu on OS X, part 1	2015-07-09 16:52:04 -04:00