equal
deleted
inserted
replaced
131 (insert ": ")) |
131 (insert ": ")) |
132 (split-string gadict-tr ",")) |
132 (split-string gadict-tr ",")) |
133 (insert-char ?\n) |
133 (insert-char ?\n) |
134 (re-search-backward "^$")) |
134 (re-search-backward "^$")) |
135 (backward-char) |
135 (backward-char) |
136 (when headword (insert headword))) |
136 (when headword |
|
137 (insert headword) |
|
138 (insert "\n []") |
|
139 (backward-char)) |
|
140 (recenter-top-bottom)) |
137 |
141 |
138 (defun gadict-search-floor (headword) |
142 (defun gadict-search-floor (headword) |
139 "Move to HEADWORD definition or place before definition should |
143 "Move to HEADWORD definition or place before definition should |
140 be placed. Check for headwords ordering during search. |
144 be placed. Check for headwords ordering during search. |
141 |
145 |