So... something else must be playing into this, no.
DUPE'ing, coloring, group_lines, dupe_line_color=#000000 ... ?
(I'll note, that a user.js file, holding custom .ini settings - that override Everything.ini settings, would make it much easier to duplicate a Profile settings, elsewhere. [But for that purpose alone, I can simply copy the .ini itself, no?])
This doesn't really show it, but at least the delete from the bottom of the window jumps back to center.
DUPE'ing, coloring, group_lines, dupe_line_color=#000000 ... ?
(I'll note, that a user.js file, holding custom .ini settings - that override Everything.ini settings, would make it much easier to duplicate a Profile settings, elsewhere. [But for that purpose alone, I can simply copy the .ini itself, no?])
This doesn't really show it, but at least the delete from the bottom of the window jumps back to center.
Statistics: Posted by therube — Fri Nov 01, 2024 6:54 pm