On Sat, Feb 7, 2026 at 7:36 AM Derek Chen-Becker <[email protected]> wrote:
> In that case it sounds like we don't need to implement this. However, the > other issue you mentioned where we might modify a user-provided style file, > concerns me. Let me verify whether we already guard for that, and if not, I > can add a guard. > It appears that we make a copy of the styles.xml before modifying it. That does still mean we could overwrite user-provided styles, but that's something we were already doing with styles outside of priority (e.g. outline levels). Should we consider a defcustom to control that as a separate issue? Cheers, Derek -- +---------------------------------------------------------------+ | Derek Chen-Becker | | GPG Key available at https://keybase.io/dchenbecker and | | https://pgp.mit.edu/pks/lookup?search=derek%40chen-becker.org | | Fngrprnt: EB8A 6480 F0A3 C8EB C1E7 7F42 AFC5 AFEE 96E4 6ACC | +---------------------------------------------------------------+
