all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#6200: indent-region should either decativate or keep region - not both
@ 2010-05-16 13:01 Lennart Borgman
  2010-05-19  3:08 ` Stefan Monnier
  0 siblings, 1 reply; 2+ messages in thread
From: Lennart Borgman @ 2010-05-16 13:01 UTC (permalink / raw
  To: 6200

If indent-region changes any indentation it deactivates the region.

If it does not find any changes it does not deactivate the region.

Please make this consistent, either always deactivate the region or
keep it activated. I would prefer that it became deactivated.





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

* bug#6200: indent-region should either decativate or keep region - not both
  2010-05-16 13:01 bug#6200: indent-region should either decativate or keep region - not both Lennart Borgman
@ 2010-05-19  3:08 ` Stefan Monnier
  0 siblings, 0 replies; 2+ messages in thread
From: Stefan Monnier @ 2010-05-19  3:08 UTC (permalink / raw
  To: Lennart Borgman

> If indent-region changes any indentation it deactivates the region.
> If it does not find any changes it does not deactivate the region.
> Please make this consistent, either always deactivate the region or
> keep it activated. I would prefer that it became deactivated.


Indeed,


        Stefan





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

end of thread, other threads:[~2010-05-19  3:08 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-05-16 13:01 bug#6200: indent-region should either decativate or keep region - not both Lennart Borgman
2010-05-19  3:08 ` Stefan Monnier

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.