From: Juri Linkov <juri@linkov.net>
To: Sebastien Vauban <sva-news@mygooglest.com>
Cc: bruce.connor.am@gmail.com, 21140@debbugs.gnu.org
Subject: bug#21140: 25.0.50; Isearch "char-fold" by default
Date: Thu, 30 Jul 2015 01:50:12 +0300 [thread overview]
Message-ID: <87vbd2inob.fsf@mail.linkov.net> (raw)
In-Reply-To: <86bnevjq0q.fsf@example.com> (Sebastien Vauban's message of "Wed, 29 Jul 2015 11:01:57 +0200")
> Didn't know about the term (and the functionality) "char-folding". If
> that's somehow "official" or "standard", let's keep it. BTW, is this
> implemented in other editors? How do they call that functionality?
Don't know about other editors, but in Chromium there is something like
“string folding”.
> No, the question is: where to put those "toggles"? In the prompt, in
> the modeline or nowhere?
There is no much free space in the modeline unless you mean
hiding all toggles under its submenu.
Another suggestion was to add an extra line to the prompt that takes
precious space as well, but it could be shown/hidden with a key.
next prev parent reply other threads:[~2015-07-29 22:50 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-27 13:45 bug#21140: 25.0.50; Isearch "char-fold" by default Sebastien Vauban
2015-07-27 14:24 ` Artur Malabarba
2015-07-27 22:33 ` Juri Linkov
2015-07-28 2:34 ` Eli Zaretskii
2015-07-28 22:21 ` Juri Linkov
[not found] ` <87h9only85.fsf-i9wRM+HIrmlRTR8OWt4JRw@public.gmane.org>
2015-07-29 9:01 ` Sebastien Vauban
2015-07-29 22:50 ` Juri Linkov [this message]
2015-07-29 23:11 ` Artur Malabarba
[not found] ` <mailman.7629.1438210748.904.bug-gnu-emacs@gnu.org>
[not found] ` <mailman.7629.1438210748.904.bug-gnu-emacs-mXXj517/zsQ@public.gmane.org>
2015-07-30 8:04 ` Sebastien Vauban
2015-07-30 16:29 ` Eli Zaretskii
2015-07-29 16:43 ` Eli Zaretskii
2015-07-29 22:51 ` Juri Linkov
2015-07-30 2:44 ` Eli Zaretskii
2015-07-30 21:21 ` Juri Linkov
[not found] ` <mailman.7466.1438007109.904.bug-gnu-emacs@gnu.org>
[not found] ` <86vbd5n27r.fsf-hcDgGtZH8xNBDgjK7y7TUQ@public.gmane.org>
2015-07-27 14:34 ` Sebastien Vauban
2015-07-27 14:50 ` Artur Malabarba
2015-07-28 1:16 ` Daniel Colascione
2015-07-28 9:13 ` Artur Malabarba
[not found] ` <CAAdUY-+xohOUpsJQ7HTsxj_e5=7NPLMuXrYKwAVre2qZr7my-g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2015-07-28 9:22 ` Sebastien Vauban
[not found] ` <mailman.7520.1438075448.904.bug-gnu-emacs@gnu.org>
[not found] ` <mailman.7520.1438075448.904.bug-gnu-emacs-mXXj517/zsQ@public.gmane.org>
2015-07-28 9:26 ` Sebastien Vauban
2015-07-28 9:47 ` Artur Malabarba
[not found] ` <mailman.7522.1438076888.904.bug-gnu-emacs@gnu.org>
[not found] ` <mailman.7522.1438076888.904.bug-gnu-emacs-mXXj517/zsQ@public.gmane.org>
2015-07-28 9:56 ` Sebastien Vauban
2015-07-28 13:12 ` Artur Malabarba
2016-04-30 12:10 ` bug#21140: Status: " Marcin Borkowski
2019-09-26 14:02 ` Stefan Kangas
2019-10-29 4:39 ` Stefan Kangas
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87vbd2inob.fsf@mail.linkov.net \
--to=juri@linkov.net \
--cc=21140@debbugs.gnu.org \
--cc=bruce.connor.am@gmail.com \
--cc=sva-news@mygooglest.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.