commit | 8ca702823d293288183f5fe4faa2c2916747dace | [log] [tgz] |
---|---|---|
author | Barry Warsaw <barry@python.org> | Fri Mar 20 14:48:30 1998 +0000 |
committer | Barry Warsaw <barry@python.org> | Fri Mar 20 14:48:30 1998 +0000 |
tree | d1bfe027c7e62f9e8d9108cb26b57b5c8a721f78 | |
parent | e908b6ba57d12fc72f49eed21a3ce4c4b3ec9533 [diff] |
(py-tab-face): => py-mixed-indentation-face (python-font-lock-keywords): Better regexp given by Sjoerd. This matches only mixed indentation which is probably more useful than matching all tabs.