abaevbog 5b1fd4b628 refresh row map after collection deletion ... It refreshes customRowHeights which is used by windowed list to calculate the right offsets. Without this, customRowHeights remains same as before deletion, so windowed list picks the offset based on stale data, which makes it use smaller offset that makes headers overlap with other rows.		2024-01-24 23:32:12 -05:00
..
content	refresh row map after collection deletion	2024-01-24 23:32:12 -05:00
locale	Remove existing <h1>s from built-in prefpanes	2024-01-24 23:32:11 -05:00
skin/default/zotero	Initial implementation of Libraries and Collections box	2024-01-24 23:31:51 -05:00