Dan Stillman ac440b2b38 Don't reload collections list when sources are modified ... Just update the row that changed, moving it if necessary.		2015-06-09 16:47:04 -04:00
..
zotero	Don't reload collections list when sources are modified	2015-06-09 16:47:04 -04:00
zotero-platform	Set tree image height to 16px everywhere	2015-04-07 14:37:13 -04:00