[Therion] ***UNCHECKED*** Re: Completing symbol sets

2019-10-10 Thread Martin Sluka via Therion
> 10. 10. 2019 v 21:08, Bruce Mutton : > > How does it work exactly? What is the list of symbol sets searched by > Therion? In which order are they searched? I couldn't find references to this > in Therion Book (in another quick search). Therion/mpost/thTrans.mp - there are all default symbols

Re: [Therion] ***UNCHECKED*** Completing symbol sets

2019-10-10 Thread Bruce Mutton
> Is there already a space in the wiki with shared symbols? https://therion.speleo.sk/wiki/metapost#general_symbol_examples > BTW Therion already automatically substitutes symbols that are missing from > your chosen symbol set, with those from another. How does it work exactly? What is

Re: [Therion] ***UNCHECKED*** Completing symbol sets

2019-10-10 Thread Rodrigo Severo via Therion
‐‐‐ Original Message ‐‐‐ On Thursday, October 10, 2019 3:04 PM, Bruce Mutton wrote: > My suggestion would be; > > - If the symbols you are using/creating are not from any of the existing > symbol sets, then I would suggest a new symbol set. If the symbols are for > a widely used set o

Re: [Therion] ***UNCHECKED*** Completing symbol sets

2019-10-10 Thread Bruce Mutton
Rodrigo My suggestion would be; * If the symbols you are using/creating are not from any of the existing symbol sets, then I would suggest a new symbol set. If the symbols are for a widely used set of symbols that is not yet present in Therion, then they should be offered for inclusion

[Therion] ***UNCHECKED*** Merging symbol sets

2019-10-10 Thread Rodrigo Severo via Therion
Hi, Is it possible to merge 2 or more symbol sets by defining more than one symbol to be used? In case of conflict (same symbol defined in to different sets) , the last one could be the one that would be used. Is there a way to do this kind of automatic merge? Regards, Rodrigo Severo

[Therion] ***UNCHECKED*** Completing symbol sets

2019-10-10 Thread Rodrigo Severo via Therion
Hi, After creating several missing symbols for Topodroid, I want to create missing symbols for Therion. I want to produce at least one complete symbol set. Should I create a new one, copy the symbols already defined that I'm interested and create the new symbols, or maybe should I just include