anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-25 10:58:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Small update

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@2683 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Dekel Tsur 2001-09-04 13:15:31 +00:00
parent d17b70af27
commit e63b166d6d
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
development/tools/generate_symbols_list.py
View File

@ -1,9 +1,6 @@
#!/usr/bin/python #!/usr/bin/python
import sys,string,re,os import sys,string,re,os
def is_prefix(a, b):
return a[:len(b)] == b
def get_code(code, font): def get_code(code, font):
if code < 10: if code < 10:
return code+161 return code+161
@ -55,7 +52,7 @@ def process(file):
if mo != None and symbol not in ignore_list: if mo != None and symbol not in ignore_list:
mo2 = re.match(r'\s*\\def\\(.*?)\{', next_line) mo2 = re.match(r'\s*\\def\\(.*?)\{', next_line)
if mo2 != None and is_prefix(symbol,mo2.group(1)): if mo2 != None and symbol == mo2.group(1)+"op":
sys.stderr.write("%s -> %s\n" % (symbol, mo2.group(1))) sys.stderr.write("%s -> %s\n" % (symbol, mo2.group(1)))
symbol = mo2.group(1) symbol = mo2.group(1)
@ -96,10 +93,10 @@ for file in sys.argv[1:]:
print print
exceptions = [ exceptions = [
("neq", "none", 0, 185, "mathrel"), ("neq", "x", 0, 185, "mathrel"),
("textdegree", "none", 0, 176, "mathord"), ("textdegree", "x", 0, 176, "mathord"),
("cong", "none", 0, 64, "mathrel"), ("cong", "x", 0, 64, "mathrel"),
("surd", "note", 0, 214, "mathord") ("surd", "x", 0, 214, "mathord")
] ]
if xsymbols.has_key("leq"): if xsymbols.has_key("leq"):