On 7/21/25 3:01 PM, Enrico Forestieri wrote:
On Mon, Jul 21, 2025 at 01:52:09PM +0200, Pavel Sanda wrote:
On Fri, Jul 18, 2025 at 12:47:24PM +0000, Enrico Forestieri wrote:
commit b7b0c644fcf12f41a2d1bfa441f98a080684d19c
Author: Enrico Forestieri <for...@lyx.org>
Date: Fri Jul 18 14:39:30 2025 +0200
Allow including the symbols system file from the user one
Until now, in order to make additions to the lib/symbols file
one should have copied it to the user dir and modify the copy.
Of course, when the system file is updated one should transfer
the modifications to the copy. Of course, this is tedious and
error prone. This commit introduces the possibility of including
the system file from the one in the user directory by using the
directive "include_system_file", which is equivalent to inserting
the system symbols file at that point. The, one can make additions
or modifications as desired.
Enrico, I think this would make sense to describe in RELEASE-NOTES
(esp. for ppl who already use local symbols) and also as a comment
in lib/symbols itself?
You are right, of course. I added a description to the lib/symbols
file itself at 0b9ef02a. As regards RELEASE-NOTES, I was going to ask
Riki about backporting it, so that this might be mentioned in the
announcement of a minor release.
I think that many would find useful this feature.
I am really glad you added this. It's extremely annoying to have to copy
the whole file just to make one small change. It looks straightforward
enough to me to backport.
Riki
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
https://lists.lyx.org/mailman/listinfo/lyx-devel
