bug#8698: 24.0.50; TeX-source-correlate-method synctex instead of source-specials

[Rares Vernica]

This bug report will be sent to the Free Software Foundation,
not to your local site managers!
Please write in English if possible, because the Emacs maintainers
usually do not have translators to read other languages for them.

Your report will be posted to the bug-gnu-emacs@gnu.org mailing list
and the gnu.emacs.bug news group, and at http://debbugs.gnu.org.

Please describe exactly what actions triggered the bug
and the precise symptoms of the bug.  If you can, give
a recipe starting from `emacs -Q':

  I loaded tex-site.el and wrote a short .tex file:

    \documentclass{article}
    \begin{document}
    a
    \end{document}

  After that I enabled TeX-source-correlate-mode:

    M-x TeX-source-correlate-mode

  I compiled the .tex file. The compile command was:

    latex --synctex=1 -interaction=nonstopmode "\input" a.tex

  Notice the use of --synctex=1. After compilation, the View command was:

    xdvi -sourceposition "4 a.tex" -editor
    "/home/rares/usr/bin/emacsclient --no-wait +%l %f" a.dvi

  Notice -sourceposition. Xdvi gives the following waring:

    No source specials in this DVI file - couldn't do reverse search.

  So, Xdvi needs source-specials, but the file is compiled with
  synctex. I checked the TeX-source-correlate-method variable and it
  says:

    TeX-source-correlate-method is a variable defined in `tex.el'.
    Its value is auto

    Documentation:
    Method to use for enabling forward and inverse search.
    This can be `source-specials' if source specials should be used,
    `synctex' if SyncTeX should be used, or`auto' if AUCTeX should
    decide.
  
  A workaround is to do:

    (setq TeX-source-correlate-method 'source-specials)

  before TeX-source-correlate-mode is enabled.

  I am using auctex 11.86-2ubuntu1.

If Emacs crashed, and you have the Emacs process in the gdb debugger,
please include the output from the following gdb commands:
    `bt full' and `xbacktrace'.
For information about debugging Emacs, please read the file
/home/rares/usr/share/emacs/24.0.50/etc/DEBUG.


In GNU Emacs 24.0.50.1 (i686-pc-linux-gnu, GTK+ Version 2.24.4)
 of 2011-05-16 on avocado
Windowing system distributor `The X.Org Foundation', version 11.0.11001000
configured using `configure  '--prefix=/home/rares/usr''

Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: nil
  value of $LC_CTYPE: nil
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: nil
  locale-coding-system: utf-8-unix
  default enable-multibyte-characters: t

Major mode: LaTeX/S

Minor modes in effect:
  TeX-source-correlate-mode: t
  tooltip-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t

Recent input:
<help-echo> M-x l o a d - f i l e <return> / u s r 
/ s h a r e / e m a c s 2 3 / s i t e - l i s p / t 
e x - s i t e . e l <return> C-x C-f a . t e x <return> 
\ d o c u m e n t c l a s s { a r t i c l e } <return> 
\ b e g i n { d o c u m e n t } <return> a <return> 
\ e n d { d o c u m e n t } M-x T e X - s o u r c e 
- c o r r e l a t e - m o d e <return> C-c C-c y <return> 
C-c C-c <return> y <return> M-x r e p o r t - e m <tab> 
<return>

Recent messages:
Applying style hooks... done
Loading vc-svn...done
Tex-Source-Correlate mode enabled
You can run the command `TeX-source-correlate-mode' with C-c C-t C-s
Save file /home/rares/a/a.tex? (y or n)  y
Saving file /home/rares/a/a.tex...
Wrote /home/rares/a/a.tex
Type `C-c C-l' to display results of compilation.
LaTeX: successfully formatted {1} page
Start Emacs server for inverse search in viewer? (y or n)  y

Load-path shadows:
/usr/share/emacs23/site-lisp/auctex/toolbar-x hides 
/home/rares/usr/share/emacs/site-lisp/auctex/toolbar-x
/usr/share/emacs23/site-lisp/auctex/tex-font hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-font
/usr/share/emacs23/site-lisp/auctex/multi-prompt hides 
/home/rares/usr/share/emacs/site-lisp/auctex/multi-prompt
/usr/share/emacs23/site-lisp/auctex/context-nl hides 
/home/rares/usr/share/emacs/site-lisp/auctex/context-nl
/usr/share/emacs23/site-lisp/auctex/tex-bar hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-bar
/usr/share/emacs23/site-lisp/auctex/bib-cite hides 
/home/rares/usr/share/emacs/site-lisp/auctex/bib-cite
/usr/share/emacs23/site-lisp/auctex/tex hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex
/usr/share/emacs23/site-lisp/auctex/texmathp hides 
/home/rares/usr/share/emacs/site-lisp/auctex/texmathp
/usr/share/emacs23/site-lisp/auctex/tex-info hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-info
/usr/share/emacs23/site-lisp/auctex/tex-jp hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-jp
/usr/share/emacs23/site-lisp/auctex/context-en hides 
/home/rares/usr/share/emacs/site-lisp/auctex/context-en
/usr/share/emacs23/site-lisp/auctex/context hides 
/home/rares/usr/share/emacs/site-lisp/auctex/context
/usr/share/emacs23/site-lisp/auctex/tex-mik hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-mik
/usr/share/emacs23/site-lisp/auctex/font-latex hides 
/home/rares/usr/share/emacs/site-lisp/auctex/font-latex
/usr/share/emacs23/site-lisp/auctex/tex-style hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-style
/usr/share/emacs23/site-lisp/auctex/tex-fold hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-fold
/usr/share/emacs23/site-lisp/auctex/tex-buf hides 
/home/rares/usr/share/emacs/site-lisp/auctex/tex-buf
/usr/share/emacs23/site-lisp/auctex/latex hides 
/home/rares/usr/share/emacs/site-lisp/auctex/latex

Features:
(shadow sort mail-extr message sendmail format-spec rfc822 mml mml-sec
mm-decode mm-bodies mm-encode mail-parse rfc2231 rfc2047 rfc2045
ietf-drums mailabbrev mail-utils gmm-utils mailheader emacsbug url-util
url-parse auth-source eieio byte-opt assoc gnus-util time-date
password-cache url-vars mm-util mail-prsvr server cus-start cus-load
vc-dispatcher vc-svn tex-bar tex-buf toolbar-x noutline outline
font-latex bytecomp byte-compile cconv macroexp latex easy-mmode edmacro
kmacro tex-style tex regexp-opt advice help-fns advice-preload easymenu
latexenc tex-site auto-loads tooltip ediff-hook vc-hooks lisp-float-type
mwheel x-win x-dnd tool-bar dnd fontset image fringe lisp-mode register
page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock
font-lock syntax facemenu font-core frame cham georgian utf-8-lang
misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew
greek romanian slovak czech european ethiopic indian cyrillic chinese
case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer loaddefs
button faces cus-face files text-properties overlay md5 base64 format
env code-pages mule custom widget hashtable-print-readable backquote
make-network-process dbusbind dynamic-setting font-render-setting
move-toolbar gtk x-toolkit x multi-tty emacs)