[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting
From: |
Ted Zlatanov |
Subject: |
bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting big indention |
Date: |
Fri, 17 Oct 2014 20:25:35 -0400 |
User-agent: |
Gnus/5.130012 (Ma Gnus v0.12) Emacs/25.0.50 (gnu/linux) |
On Fri, 17 Oct 2014 14:04:55 -0400 Stefan Monnier <monnier@iro.umontreal.ca>
wrote:
>> Stefan, do you want to push this to trunk or should I? I think it's
>> ready but for the one minor typo I noted.
SM> Please do it,
OK; done. Michal, I did a little bit of editing here and there but the
code needed nothing. I tested it a bit before pushing.
Ted
------------------------------------------------------------
revno: 118144
author: Michal Nazarewicz <mina86@mina86.com>
committer: Ted Zlatanov <tzz@lifelogs.com>
branch nick: quickfixes
timestamp: Fri 2014-10-17 20:23:03 -0400
message:
Add a 'big-indent style to `whitespace-mode'.
* lisp/whitespace.el (whitespace-style, whitespace-big-indent)
(whitespace-big-indent-regexp, whitespace-style-value-list)
(whitespace-toggle-option-alist, whitespace-interactive-char)
(whitespace-toggle-options)
(global-whitespace-toggle-options, whitespace-help-text)
(whitespace-style-face-p, whitespace-color-on): Add a 'big-indent
style to `whitespace-mode' to indicate that the line indentation
is too deep. By default, 32 SPACEs or four TABs are considered
too many but `whitespace-big-indent-regexp' can be configured.
------------------------------------------------------------
revno: 118143
author: Michal Nazarewicz <mina86@mina86.com>
committer: Ted Zlatanov <tzz@lifelogs.com>
branch nick: quickfixes
timestamp: Fri 2014-10-17 20:22:13 -0400
message:
Mention new whitespace-mode option: big-indent.
* etc/NEWS: Mention new whitespace-mode option: big-indent.
- bug#18732: [PATCH] whitespace-mode: add 'many-tabs style highlighting multiple TABs, Michal Nazarewicz, 2014/10/15
- bug#18732: [PATCH] whitespace-mode: add 'many-tabs style highlighting multiple TABs, Ted Zlatanov, 2014/10/16
- bug#18732: [PATCH] whitespace-mode: add 'big-indent style highlighting big indention, Michal Nazarewicz, 2014/10/17
- bug#18732: [PATCH] whitespace-mode: add 'big-indent style highlighting big indention, Ted Zlatanov, 2014/10/17
- bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting big indention, Michal Nazarewicz, 2014/10/17
- bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting big indention, Ted Zlatanov, 2014/10/17
- bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting big indention, Ted Zlatanov, 2014/10/17
- bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting big indention, Stefan Monnier, 2014/10/17
- bug#18732: [PATCHv3] whitespace-mode: add 'big-indent style highlighting big indention,
Ted Zlatanov <=
- bug#18732: [PATCH] whitespace-mode: add 'big-indent style highlighting big indention, Stefan Monnier, 2014/10/17