Lines Matching refs:replace
164 # 'replace' a[i1:i2] should be replaced by b[j1:j2]
501 'replace': a[i1:i2] should be replaced by b[j1:j2]
516 replace a[3:4] (x) b[2:3] (y)
533 tag = 'replace'
563 ('replace', 19, 20, 20, 21),
568 ('replace', 34, 35, 30, 31),
861 if tag == 'replace':
944 # no identical pair either -- treat it as a straight replace
967 if tag == 'replace':
1156 if tag in {'replace', 'delete'}:
1159 if tag in {'replace', 'insert'}:
1225 prefix = dict(insert='+ ', delete='- ', replace='! ', equal=' ')
1241 if any(tag in {'replace', 'delete'} for tag, _, _, _, _ in group):
1250 if any(tag in {'replace', 'insert'} for tag, _, _, _, _ in group):
1434 # thing (such as adding the line number) then replace the special
1744 line = line.replace(' ','\0')
1747 # replace spaces from expanded tabs back into tab characters
1748 # (we'll replace them with markup after we do differencing)
1749 line = line.replace(' ','\t')
1750 return line.replace('\0',' ').rstrip('\n')
1873 # replace those things that would get confused with HTML symbols
1874 text=text.replace("&","&").replace(">",">").replace("<","<")
1877 text = text.replace(' ',' ').rstrip()
2011 return table.replace('\0+','<span class="diff_add">'). \
2012 replace('\0-','<span class="diff_sub">'). \
2013 replace('\0^','<span class="diff_chg">'). \
2014 replace('\1','</span>'). \
2015 replace('\t',' ')