Sam Steingold
70341cab3e
string-equal-ignore-case: new function
...
* lisp/cedet/semantic/complete.el (semantic-collector-calculate-completions):
Use `string-prefix-p' instead of explicit `compare-strings'.
* lisp/emacs-lisp/byte-opt.el (side-effect-free-fns):
Add `string-equal-ignore-case'.
* lisp/emacs-lisp/cl-extra.el (cl-equalp): Use `string-equal-ignore-case'.
* lisp/emacs-lisp/shadow.el (load-path-shadows-find): Likewise.
* lisp/emacs-lisp/shortdoc.el (string): Add `string-equal-ignore-case'.
* lisp/files.el (file-truename): Use `string-equal-ignore-case'.
(file-relative-name): Likewise.
* lisp/gnus/gnus-art.el (article-hide-boring-headers):
Use `string-equal-ignore-case' instead of `gnus-string-equal'.
* lisp/gnus/gnus-util.el (gnus-string-equal):
Remove, use `string-equal-ignore-case' instead.
* lisp/international/mule-cmds.el (describe-language-environment):
Use `string-equal-ignore-case'.
(locale-charset-match-p): Likewise.
* lisp/man.el (Man-softhyphen-to-minus): Use `string-prefix-p'.
* lisp/minibuffer.el (completion--string-equal-p):
Remove, use `string-equal-ignore-case' instead.
(completion--twq-all): Use `string-equal-ignore-case'.
(completion--do-completion): Likewise.
* lisp/net/browse-url.el (browse-url-default-windows-browser):
Use `string-prefix-p' instead of explicit `compare-strings'.
* lisp/org/ob-core.el (org-babel-results-keyword):
Use `string-equal-ignore-case' instead of explicit `compare-strings'.
(org-babel-insert-result): Likewise.
* lisp/org/org-compat.el (string-equal-ignore-case):
Define unless defined already.
(org-mode-flyspell-verify): Use `string-equal-ignore-case'.
* lisp/org/org-lint.el (org-lint-duplicate-custom-id): Likewise.
* lisp/org/ox.el (org-export-resolve-radio-link): Use
`string-equal-ignore-case' and `string-clean-whitespace'.
* lisp/progmodes/flymake-proc.el
(flymake-proc--check-patch-master-file-buffer):
Use `string-prefix-p' instead of explicit `compare-strings'.
* lisp/progmodes/idlwave.el (idlwave-class-or-superclass-with-tag):
Use `string-equal-ignore-case' instead of explicit `compare-strings'.
* lisp/subr.el (member-ignore-case): Use `string-equal-ignore-case'.
(string-equal-ignore-case): Compare strings ignoring case.
* lisp/textmodes/bibtex.el (bibtex-string=): Remove.
(bibtex-format-entry, bibtex-font-lock-url, bibtex-autofill-entry)
(bibtex-print-help-message, bibtex-validate, bibtex-validate-globally)
(bibtex-clean-entry, bibtex-completion-at-point-function, (bibtex-url):
Use `string-equal-ignore-case' instead of `bibtex-string='.
* lisp/textmodes/sgml-mode.el (sgml-get-context):
Use `string-equal-ignore-case' instead of explicit `compare-strings'.
(sgml-calculate-indent): Likewise
* test/lisp/subr-tests.el (string-comparison-test):
Add tests for `string-equal-ignore-case'.
2022-07-26 13:49:28 -04:00
..
2022-07-05 18:33:29 +02:00
2022-07-20 09:27:30 +02:00
2022-07-26 13:49:28 -04:00
2022-07-26 13:49:28 -04:00
2022-07-20 09:27:30 +02:00
2022-07-20 22:38:01 +02:00
2022-07-16 14:05:44 +02:00
2022-07-26 13:49:28 -04:00
2022-07-19 15:21:56 +02:00
2022-07-26 13:49:28 -04:00
2022-07-17 06:30:41 +02:00
2022-07-14 09:33:26 +03:00
2022-07-21 08:45:17 +02:00
2022-07-24 11:30:12 -07:00
2022-07-26 13:49:28 -04:00
2022-07-06 19:29:51 +02:00
2022-07-21 18:59:57 -04:00
2022-07-26 13:49:28 -04:00
2022-07-21 08:45:18 +02:00
2022-07-26 13:49:28 -04:00
2022-07-26 05:42:42 +00:00
2022-07-26 13:49:28 -04:00
2022-07-15 15:59:38 -04:00
2022-07-26 13:49:28 -04:00
2022-07-11 15:34:15 +02:00
2022-07-11 11:30:00 +02:00
2022-01-01 02:45:51 -05:00
2022-07-08 14:10:38 +02:00
2022-07-08 14:10:38 +02:00
2022-05-18 13:20:26 +02:00
2022-07-17 12:12:58 +02:00
2022-05-12 11:08:09 +02:00
2022-01-01 02:45:51 -05:00
2022-07-18 12:49:29 +02:00
2022-07-08 13:08:21 +02:00
2022-02-04 19:39:53 -05:00
2022-05-27 09:42:12 +02:00
2022-06-03 15:04:42 +03:00
2022-07-23 10:32:50 +03:00
2022-07-05 18:33:29 +02:00
2022-07-21 09:23:20 +02:00
2022-07-05 18:33:29 +02:00
2022-04-16 19:32:26 +02:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-19 14:13:25 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-13 13:04:22 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-13 13:04:22 +02:00
2022-01-01 07:03:03 -05:00
2022-07-08 14:10:38 +02:00
2022-05-12 14:15:12 +02:00
2022-05-28 07:06:30 +02:00
2022-07-23 09:15:24 +02:00
2022-07-12 12:22:57 +02:00
2022-06-27 15:32:53 +03:00
2022-06-05 20:17:30 +02:00
2022-07-05 19:33:24 +02:00
2022-06-20 01:26:05 +02:00
2022-07-15 21:47:09 +08:00
2022-01-01 07:03:03 -05:00
2022-07-05 22:42:25 +02:00
2022-05-13 14:30:09 +02:00
2022-01-01 02:45:51 -05:00
2022-07-13 13:37:05 +02:00
2022-07-02 09:33:51 +02:00
2022-07-06 19:29:51 +02:00
2022-05-15 01:10:11 +02:00
2022-07-08 19:44:05 +02:00
2022-07-09 11:47:52 +02:00
2022-07-23 09:33:18 +02:00
2022-07-12 20:00:16 +03:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-05-13 21:24:12 +02:00
2022-07-14 12:13:31 +02:00
2022-07-14 12:52:32 +02:00
2022-01-01 02:45:51 -05:00
2022-07-08 14:10:38 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-24 18:19:38 +01:00
2022-01-01 02:45:51 -05:00
2022-03-06 10:14:42 -05:00
2022-06-22 12:14:06 +02:00
2022-04-14 15:51:04 +02:00
2022-07-14 11:37:42 +02:00
2022-05-24 18:52:58 +02:00
2022-01-10 04:30:13 +01:00
2022-07-08 14:10:38 +02:00
2022-07-02 13:32:41 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-05-13 14:44:34 +02:00
2022-07-02 06:36:26 +02:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-07-14 12:52:32 +02:00
2022-01-01 07:03:03 -05:00
2022-07-23 20:00:04 +08:00
2022-07-09 17:27:49 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-07-08 14:10:38 +02:00
2022-07-26 13:49:28 -04:00
2022-07-11 11:30:00 +02:00
2022-01-01 02:45:51 -05:00
2022-07-12 06:30:35 +02:00
2022-01-01 02:45:51 -05:00
2022-02-07 01:31:53 +01:00
2022-06-05 20:17:30 +02:00
2022-01-01 02:45:51 -05:00
2022-05-02 12:03:08 +02:00
2022-05-14 16:19:12 +03:00
2022-07-11 11:31:03 +02:00
2022-07-20 09:27:30 +02:00
2022-01-01 02:45:51 -05:00
2022-07-11 11:31:03 +02:00
2022-05-24 12:36:51 +02:00
2022-07-05 18:33:29 +02:00
2022-05-04 12:06:10 +03:00
2022-06-03 05:20:16 +02:00
2022-05-31 18:08:33 +02:00
2022-04-24 15:47:08 +03:00
2022-07-24 09:55:01 +02:00
2022-01-01 07:03:03 -05:00
2022-07-22 22:43:38 +02:00
2022-07-24 09:55:01 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-06-05 18:23:17 +02:00
2022-07-11 11:30:00 +02:00
2022-06-07 12:22:10 +02:00
2022-01-01 02:45:51 -05:00
2022-03-24 13:50:55 +08:00
2022-06-05 18:23:17 +02:00
2022-06-15 17:52:38 +02:00
2022-06-15 17:52:38 +02:00
2022-06-15 16:43:22 +02:00
2022-07-14 12:13:31 +02:00
2022-07-06 19:29:51 +02:00
2022-01-01 07:03:03 -05:00
2022-07-08 14:10:38 +02:00
2022-07-21 21:13:50 +02:00
2022-01-01 07:03:03 -05:00
2022-07-03 23:31:31 +02:00
2022-07-14 19:34:43 +02:00
2022-07-07 20:21:38 +02:00
2022-07-06 20:39:41 +03:00
2022-05-02 11:30:52 +02:00
2022-01-01 02:45:51 -05:00
2022-07-17 21:58:54 -04:00
2022-07-06 19:29:51 +02:00
2022-07-08 23:36:18 +02:00
2022-01-01 02:45:51 -05:00
2022-07-05 18:33:29 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-14 12:13:31 +02:00
2022-01-01 02:45:51 -05:00
2022-06-18 14:06:30 +02:00
2022-07-05 18:33:29 +02:00
2022-07-13 21:07:10 +02:00
2022-04-28 12:38:01 +02:00
2022-01-31 11:07:26 -05:00
2022-06-24 11:04:51 +02:00
2022-02-07 04:58:49 +01:00
2022-05-14 16:19:12 +03:00
2022-06-05 09:52:09 +03:00
2022-04-01 20:07:33 -04:00
2022-06-19 13:37:10 +02:00
2022-01-01 02:45:51 -05:00
2022-07-26 13:49:28 -04:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-20 09:27:30 +02:00
2022-07-05 18:33:29 +02:00
2022-01-01 02:45:51 -05:00
2022-07-26 13:49:28 -04:00
2022-07-26 14:23:30 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-02 13:32:41 +02:00
2022-07-17 12:56:38 +02:00
2022-07-09 17:27:49 +02:00
2022-07-04 17:01:53 +02:00
2022-05-31 20:20:23 +02:00
2022-02-04 19:39:53 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-07-22 10:58:59 +03:00
2022-05-02 11:02:54 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-02-04 19:39:53 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-12 16:38:37 +02:00
2022-01-01 02:45:51 -05:00
2022-06-08 01:08:22 +03:00
2022-07-23 15:00:34 +08:00
2022-05-09 09:37:58 +08:00
2022-07-06 20:53:52 +02:00
2022-01-01 02:45:51 -05:00
2022-04-05 17:08:03 +02:00
2022-07-05 18:33:29 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-07-14 19:08:16 +02:00
2022-01-01 02:45:51 -05:00
2022-07-06 19:29:51 +02:00
2022-07-26 14:23:30 +02:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-07-06 20:40:48 +03:00
2022-07-18 12:49:29 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-07-02 06:36:26 +02:00
2022-07-05 18:33:29 +02:00
2022-06-30 14:07:15 +02:00
2022-01-01 02:45:51 -05:00
2022-03-04 16:55:57 +01:00
2022-05-11 16:12:00 +02:00
2022-07-11 19:36:12 +08:00
2022-06-30 12:13:03 +02:00
2022-07-14 11:37:42 +02:00
2022-01-01 02:45:51 -05:00
2022-07-04 14:56:11 +02:00
2022-07-26 15:21:28 +02:00
2022-01-01 07:03:03 -05:00
2022-07-14 11:37:42 +02:00
2022-05-03 21:23:40 +02:00
2022-01-01 02:45:51 -05:00
2022-07-08 14:10:38 +02:00
2022-06-24 11:04:51 +02:00
2022-01-01 07:07:15 -05:00
2022-07-20 14:57:15 +03:00
2022-07-08 14:10:38 +02:00
2022-07-26 13:49:28 -04:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-17 12:33:34 +03:00
2022-07-06 19:29:51 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-07-17 11:16:26 +02:00
2022-01-01 02:45:51 -05:00
2022-07-06 19:29:51 +02:00
2022-07-12 12:22:57 +02:00
2022-01-01 07:03:03 -05:00
2022-07-11 17:59:25 +02:00
2022-01-01 02:45:51 -05:00
2022-07-05 18:33:29 +02:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-07-20 09:27:30 +02:00
2022-07-09 13:35:41 +02:00
2022-07-16 12:40:12 +02:00
2022-06-05 15:59:37 +02:00
2022-05-20 03:59:39 +02:00
2022-07-06 19:29:51 +02:00
2022-06-23 15:14:16 +02:00
2022-01-11 08:58:39 -08:00
2022-05-14 15:55:20 +02:00
2022-02-03 06:30:29 +01:00
2022-07-08 14:10:38 +02:00
2022-05-31 18:08:33 +02:00
2022-01-01 02:45:51 -05:00
2022-06-17 14:48:31 +02:00
2022-07-15 12:07:19 +02:00
2022-07-21 21:10:13 +02:00
2022-07-05 19:33:24 +02:00
2022-07-09 17:27:49 +02:00
2022-07-20 22:38:01 +02:00
2022-07-06 09:25:43 +02:00
2022-07-05 18:33:29 +02:00
2022-07-21 08:45:17 +02:00
2022-07-26 05:42:42 +00:00
2022-07-04 14:56:11 +02:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-07-21 09:19:14 +08:00
2022-02-05 08:50:05 +01:00