Decrease item tree indent

Roughly center child item icons between the parent item icon and text,
which looks a bit less awkward than the previous tree's positioning. An
alternative would be to align with the beginning of the parent item text
(a value of 21), but that's a bit spaced out, at least until we have
multiple levels with additional twisties.
This commit is contained in:
Dan Stillman 2021-08-21 06:11:56 -04:00
parent c85a434eb6
commit ec35291060

View file

@ -38,7 +38,7 @@ const { Cc, Ci, Cu } = require('chrome');
Cu.import("resource://gre/modules/osfile.jsm");
const TYPING_TIMEOUT = 1000;
const CHILD_INDENT = 20;
const CHILD_INDENT = 12;
const COLORED_TAGS_RE = new RegExp("^[0-" + Zotero.Tags.MAX_COLORED_TAGS + "]{1}$");
const COLUMN_PREFS_FILEPATH = OS.Path.join(Zotero.Profile.dir, "treePrefs.json");