Your message dated Wed, 29 Feb 2012 11:17:11 +0000
with message-id <[email protected]>
and subject line Bug#633564: fixed in develock-el 0.39-1
has caused the Debian Bug report #633564,
regarding Add support for OCaml, Coq and LaTeX modes
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
633564: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=633564
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: develock-el
Version: 0.36-2.1
Severity: minor
Tags: patch
Hi.
It would be so nice if you could add support for OCaml, Coq and LaTeX
modes (respectively, {caml,tuareg}-mode, coq-mode and latex-mode).
For your convenience, I prepared the attached patch. I've been using
it since quite some time now and didn't encounter any problem (tested
with emacs23).
Kind regards,
-- System Information:
Debian Release: 6.0.1
APT prefers stable
APT policy: (990, 'stable'), (500, 'proposed-updates')
Architecture: i386 (x86_64)
Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages develock-el depends on:
ii emacs23 [emacsen] 23.2+1-7 The GNU Emacs editor (with GTK+ us
develock-el recommends no packages.
develock-el suggests no packages.
-- no debconf information
diff -u develock-el-0.36/debian/changelog develock-el-0.36/debian/changelog
--- develock-el-0.36/debian/changelog
+++ develock-el-0.36/debian/changelog
@@ -1,3 +1,12 @@
+develock-el (0.36-2.1) unstable; urgency=low
+
+ * Make develock-el aware of some other modes:
+ - OCaml modes (caml-mode and tuareg-mode)
+ - Coq mode
+ - LaTeX mode
+
+ -- Mehdi Dogguy <[email protected]> Mon, 11 Jul 2011 17:56:31 +0200
+
develock-el (0.36-2) unstable; urgency=low
* emacsen-startup: Use `global-font-lock-mode' with positive argument.
@@ -136 +144,0 @@
-
diff -u develock-el-0.36/debian/control develock-el-0.36/debian/control
--- develock-el-0.36/debian/control
+++ develock-el-0.36/debian/control
@@ -15,2 +15,2 @@
- mode, C modes, Java mode, Jde-mode , CPerl mode, Perl mode, HTML
- modes and some Mail modes.
+ mode, C modes, OCaml modes, Coq mode, LaTeX mode, Java mode, Jde-mode,
+ CPerl mode, Perl mode, HTML modes and some Mail modes.
diff -u develock-el-0.36/debian/control.in develock-el-0.36/debian/control.in
--- develock-el-0.36/debian/control.in
+++ develock-el-0.36/debian/control.in
@@ -15,2 +15,2 @@
- mode, C modes, Java mode, Jde-mode , CPerl mode, Perl mode, HTML
- modes and some Mail modes.
+ mode, C modes, OCaml modes, Coq mode, LaTeX mode, Java mode, Jde-mode,
+ CPerl mode, Perl mode, HTML modes and some Mail modes.
only in patch2:
unchanged:
--- develock-el-0.36.orig/develock.el
+++ develock-el-0.36/develock.el
@@ -31,10 +31,10 @@
;; Develock is a minor mode which provides the ability to make font-
;; lock highlight leading and trailing whitespace, long lines and
;; oddities in the file buffer for Lisp modes, ChangeLog mode, Texinfo
-;; mode, C modes, Java mode, Jde-mode , CPerl mode, Perl mode, HTML
-;; modes, some Mail modes, Tcl mode and Ruby mode. Here is an example
-;; of how to set up your startup file (possibly .emacs) to use
-;; Develock:
+;; mode, C modes, Ocaml modes, Coq mode, Java mode, Jde-mode , CPerl
+;; mode, Perl mode, HTML modes, some Mail modes, Tcl mode and Ruby
+;; mode. Here is an example of how to set up your startup file
+;; (possibly .emacs) to use Develock:
;;
;;(cond ((featurep 'xemacs)
;; (require 'develock)
@@ -411,6 +411,10 @@
'c-mode 79
'c++-mode 79
'java-mode 79
+ 'caml-mode 79
+ 'tuareg-mode 79
+ 'coq-mode 79
+ 'latex-mode 79
'jde-mode 79
'html-mode 79
'html-helper-mode 79
@@ -568,6 +572,18 @@
(defvar c-font-lock-keywords-x nil
"Extraordinary level font-lock keywords for the C modes.")
+(defvar caml-font-lock-keywords-x nil
+ "Extraordinary level font-lock keywords for the Caml mode.")
+
+(defvar tuareg-font-lock-keywords-x nil
+ "Extraordinary level font-lock keywords for the Tuareg mode.")
+
+(defvar coq-font-lock-keywords-x nil
+ "Extraordinary level font-lock keywords for the Coq mode.")
+
+(defvar latex-font-lock-keywords-x nil
+ "Extraordinary level font-lock keywords for the LaTeX mode.")
+
(defvar java-font-lock-keywords-x nil
"Extraordinary level font-lock keywords for the Java mode.")
@@ -608,6 +624,14 @@
develock-c-font-lock-keywords)
(c++-mode c-font-lock-keywords-x
develock-c-font-lock-keywords)
+ (caml-mode caml-font-lock-keywords-x
+ develock-caml-font-lock-keywords)
+ (tuareg-mode tuareg-font-lock-keywords-x
+ develock-tuareg-font-lock-keywords)
+ (coq-mode coq-font-lock-keywords-x
+ develock-coq-font-lock-keywords)
+ (latex-mode latex-font-lock-keywords-x
+ develock-latex-font-lock-keywords)
(java-mode java-font-lock-keywords-x
develock-java-font-lock-keywords)
(jde-mode java-font-lock-keywords-x
@@ -955,6 +979,74 @@
:type develock-keywords-custom-type
:set 'develock-keywords-custom-set
:group 'develock
+ :group 'font-lock)
+
+(defcustom develock-caml-font-lock-keywords
+ '(;; a long line
+ (develock-find-long-lines
+ (1 'develock-long-line-1 t)
+ (2 'develock-long-line-2 t))
+ ;; trailing whitespace
+ ("[^\t\n ]\\([\t ]+\\)$"
+ (1 'develock-whitespace-1 t))
+ ;; only tabs or spaces in the line
+ ("^[\t ]+$"
+ (0 'develock-whitespace-2 append)))
+ "Extraordinary level highlighting for the Caml mode."
+ :type develock-keywords-custom-type
+ :set 'develock-keywords-custom-set
+ :group 'develock
+ :group 'font-lock)
+
+(defcustom develock-tuareg-font-lock-keywords
+ '(;; a long line
+ (develock-find-long-lines
+ (1 'develock-long-line-1 t)
+ (2 'develock-long-line-2 t))
+ ;; trailing whitespace
+ ("[^\t\n ]\\([\t ]+\\)$"
+ (1 'develock-whitespace-1 t))
+ ;; only tabs or spaces in the line
+ ("^[\t ]+$"
+ (0 'develock-whitespace-2 append)))
+ "Extraordinary level highlighting for the Tuareg mode."
+ :type develock-keywords-custom-type
+ :set 'develock-keywords-custom-set
+ :group 'develock
+ :group 'font-lock)
+
+(defcustom develock-coq-font-lock-keywords
+ '(;; a long line
+ (develock-find-long-lines
+ (1 'develock-long-line-1 t)
+ (2 'develock-long-line-2 t))
+ ;; trailing whitespace
+ ("[^\t\n ]\\([\t ]+\\)$"
+ (1 'develock-whitespace-1 t))
+ ;; only tabs or spaces in the line
+ ("^[\t ]+$"
+ (0 'develock-whitespace-2 append)))
+ "Extraordinary level highlighting for the Coq mode."
+ :type develock-keywords-custom-type
+ :set 'develock-keywords-custom-set
+ :group 'develock
+ :group 'font-lock)
+
+(defcustom develock-latex-font-lock-keywords
+ '(;; a long line
+ (develock-find-long-lines
+ (1 'develock-long-line-1 t)
+ (2 'develock-long-line-2 t))
+ ;; trailing whitespace
+ ("[^\t\n ]\\([\t ]+\\)$"
+ (1 'develock-whitespace-1 t))
+ ;; only tabs or spaces in the line
+ ("^[\t ]+$"
+ (0 'develock-whitespace-2 append)))
+ "Extraordinary level highlighting for the LaTeX mode."
+ :type develock-keywords-custom-type
+ :set 'develock-keywords-custom-set
+ :group 'develock
:group 'font-lock)
(defcustom develock-java-font-lock-keywords
--- End Message ---
--- Begin Message ---
Source: develock-el
Source-Version: 0.39-1
We believe that the bug you reported is fixed in the latest version of
develock-el, which is due to be installed in the Debian FTP archive:
develock-el_0.39-1.debian.tar.gz
to main/d/develock-el/develock-el_0.39-1.debian.tar.gz
develock-el_0.39-1.dsc
to main/d/develock-el/develock-el_0.39-1.dsc
develock-el_0.39-1_all.deb
to main/d/develock-el/develock-el_0.39-1_all.deb
develock-el_0.39.orig.tar.gz
to main/d/develock-el/develock-el_0.39.orig.tar.gz
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <[email protected]> (supplier of updated develock-el package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 29 Feb 2012 11:52:11 +0100
Source: develock-el
Binary: develock-el
Architecture: source all
Version: 0.39-1
Distribution: unstable
Urgency: low
Maintainer: Mehdi Dogguy <[email protected]>
Changed-By: Mehdi Dogguy <[email protected]>
Description:
develock-el - additional font-lock keywords for the developers on Emacs
Closes: 633564 654942
Changes:
develock-el (0.39-1) unstable; urgency=low
.
* New upstream release.
* New maintainer (Closes: #654942)
* Re-do packaging using DH9.
- Bump Standards-Version to 3.9.3
- Conform to machine-readable copyright format 1.0
- Convert to 3.0 (quilt) source format
* Make develock-el aware of some other modes (Closes: #633564).
- OCaml modes (caml-mode and tuareg-mode)
- Coq mode
- LaTeX mode
* Add Vcs-{Browser,Git} control fields.
Checksums-Sha1:
f8086e106e8f3a66f5a69c4dc4fb06fca582203f 1495 develock-el_0.39-1.dsc
163cabda0ecf2a1e9375149d3e3409cfdf771055 13659 develock-el_0.39.orig.tar.gz
7825d616ee5a60d3d9a98f345b82707904100230 5825 develock-el_0.39-1.debian.tar.gz
8d53dd4026abcc273087d2e1cf714da51fb08d22 19452 develock-el_0.39-1_all.deb
Checksums-Sha256:
82587dc80aa16577d9592afcb39354104a19f8ad0c918ec8546f889ec9c0900b 1495
develock-el_0.39-1.dsc
eb3f778deb175fb6160db9ab06f8524eab406dfb2542abae4a703620d9618465 13659
develock-el_0.39.orig.tar.gz
3d18ef73418eab617ef8f3c54055e882a86744ad5f80d4f0a3091945e7fba500 5825
develock-el_0.39-1.debian.tar.gz
c5d5139c40489a1135733c52fcb046cd5db681036227daa117d3a64fd7064164 19452
develock-el_0.39-1_all.deb
Files:
d2cfba54586918d27e968ca1eb22bc6c 1495 editors optional develock-el_0.39-1.dsc
86fe9668050da33326683053465313ac 13659 editors optional
develock-el_0.39.orig.tar.gz
dac690ccd781e93ce9953228b65f3eb8 5825 editors optional
develock-el_0.39-1.debian.tar.gz
6216be645b2f899ed02954eb70617354 19452 editors optional
develock-el_0.39-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQEcBAEBAgAGBQJPTgVbAAoJEDe1GR0FRlJog7oH+wS4anLZhll9fTXzUzYp/fkZ
kooaRZcTXdWhxY3VrlSuhwyQB5cMSb2hqsykZ7/xMif/91D6TkOxBhEk+MpPF672
pqRq/faB4wYsFxxsUxpjXb+ae1UP6d6KoVFcxqglf3r3dbNJ8IUgAL0vR1D8mk8G
Nlsw1COxU012WgOv3fwaZLv+yqImR1tOb+MgdDO0Rm2mUaBwm8rP2Y6fx2w1KO3d
FbNDiL4/Zl2ZCupHJSXbpukf0s4JJL88fkaRciy1WGPki1rxdmY1N27dkBf/OBmv
OrzTUqrZRnkx2g482Vk/J0clbN+H+NBJE2K58gIzlc+oB0434Uim+RQXziv3ncM=
=fsFD
-----END PGP SIGNATURE-----
--- End Message ---
