Tony Zorman <[email protected]> writes: > On Sun, Mar 10 2024 09:00, Arash Esbati wrote: >> I don't use Org so maybe I don't understand the above correctly, but >> does this change meets your requirement? >> >> [… 16 lines elided …] > > indeed, this is along the lines that I was thinking about.
Great, I installed that change now (806bdb01ca). > I should probably have rather sent a patch instead of opening a bug > report (sorry! :)), but I wasn't exactly sure what people would want to > do about this (if anything). Sending a patch as a bug report is the best option, actually. It can't go lost and we can track it more easily. I'm closing this report. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
