unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
* bug#3320: 23.0.93; Rename `mini-' options
@ 2009-05-17 22:44 Drew Adams
  2011-07-11 15:55 ` Lars Magne Ingebrigtsen
  0 siblings, 1 reply; 3+ messages in thread
From: Drew Adams @ 2009-05-17 22:44 UTC (permalink / raw)
  To: emacs-pretest-bug

See the discussion at emacs-devel@gnu.org with the same Subject line.
 
It was suggested that I also file a bug for this:
 
> Drew, could you report this as a bug to emacs-pretest-bug@gnu.org?
> I understand that you started a discussion in emacs-devel to reach
> a wider audience, but unless it is not in the bug database, it will
> remain unfixed, and these misleading names have bitten me too.
 
So this is that bug report.
 
Please rename these options from using `mini-' to something that
indicates what they act on. Suggestions:
 
* Rename `resize-mini-windows' to `minibuffer-echo-area-resize'.
 
* Rename `max-mini-window-height' to
  `minibuffer-echo-area-max-height'.
 
Please also change the doc strings to not mention `mini-windows',
which are not defined, in any case. Make it clear that these act on
the minibuffer and echo area.
 

In GNU Emacs 23.0.93.1 (i386-mingw-nt5.1.2600)
 of 2009-05-02 on SOFT-MJASON
Windowing system distributor `Microsoft Corp.', version 5.1.2600
configured using `configure --with-gcc (3.4)'
 







^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2011-07-11 16:21 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2009-05-17 22:44 bug#3320: 23.0.93; Rename `mini-' options Drew Adams
2011-07-11 15:55 ` Lars Magne Ingebrigtsen
2011-07-11 16:21   ` Drew Adams

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).