Searched refs:merge_locations (Results 1 – 3 of 3) sorted by relevance
/dports/lang/swi-pl/swipl-8.2.3/library/ |
H A D | edit.pl | 81 merge_locations(Pairs0, Pairs), 415 merge_locations(Pairs0, Pairs) :- 425 merge_locations(Pair0, Pair1, Pair2), 430 merge_locations(Loc1-Spec1, Loc2-Spec2, Loc-Spec) :- 438 merge_locations([file(X)]-_, Loc-Spec, Loc-Spec) :-
|
/dports/deskutils/calibre/calibre-src-5.34.0/src/calibre/ebooks/oeb/polish/ |
H A D | spell.py | 325 def merge_locations(locs1, locs2): function
|
/dports/deskutils/calibre/calibre-src-5.34.0/src/calibre/gui2/tweak_book/ |
H A D | spell.py | 26 get_all_words, get_checkable_file_names, merge_locations, replace_word, 800 self.words[new_key] = merge_locations(self.words[new_key], self.words[w])
|