Lines Matching refs:replace
198 # 'replace' a[i1:i2] should be replaced by b[j1:j2]
540 'replace': a[i1:i2] should be replaced by b[j1:j2]
555 replace a[3:4] (x) b[2:3] (y)
572 tag = 'replace'
602 ('replace', 19, 20, 20, 21),
607 ('replace', 34, 35, 30, 31),
911 if tag == 'replace':
996 # no identical pair either -- treat it as a straight replace
1021 if tag == 'replace':
1218 if tag in ('replace', 'delete'):
1221 if tag in ('replace', 'insert'):
1285 prefix = dict(insert='+ ', delete='- ', replace='! ', equal=' ')
1301 if any(tag in ('replace', 'delete') for tag, _, _, _, _ in group):
1310 if any(tag in ('replace', 'insert') for tag, _, _, _, _ in group):
1446 # thing (such as adding the line number) then replace the special
1747 line = line.replace(' ','\0')
1750 # replace spaces from expanded tabs back into tab characters
1751 # (we'll replace them with markup after we do differencing)
1752 line = line.replace(' ','\t')
1753 return line.replace('\0',' ').rstrip('\n')
1876 # replace those things that would get confused with HTML symbols
1877 text=text.replace("&","&").replace(">",">").replace("<","<")
1880 text = text.replace(' ',' ').rstrip()
2014 return table.replace('\0+','<span class="diff_add">'). \
2015 replace('\0-','<span class="diff_sub">'). \
2016 replace('\0^','<span class="diff_chg">'). \
2017 replace('\1','</span>'). \
2018 replace('\t',' ')
