Menu

#1561 open package documentation can cause crash

None
fixed
nobody
None
1
2015-12-13
2015-11-06
Zash
No

If the right click command "Open package documentation (<package>)" fails, i.e. does not find the documentation file, TexStudio crashes (unrecoverable).
TeXStudio 2.10.4
Windows 10
MikTeX 2.9</package>

Discussion

  • Jan  Sundermeyer

    Jan Sundermeyer - 2015-11-06

    please give an step-by-step example before we need to start guessing what exactly you did...

     
  • Zash

    Zash - 2015-11-06

    Ok, after further testing the crash seems to be only reproducible for the second time you do the steps below:

    Preperation

    1. Create a new .tex document
    2. Add a package, which does not have a documentation file available in the installed LaTeX distribution (for me, it is for e.g. the package fontenc in MikTeX) - see example below.

    Reproduce crash

    1. Rightclick on the <package> name and choose "Open package documentation (<package>)"</package></package>
    2. TeXStudio shows an empty and the error massage "Documentation for <package> could not be found"</package>
    3. Close the error massages.
    4. Repeat steps 1-3

    Now TeXStudio does not respond anymore (freezes) and has to be killed

    Document example:

    \documentclass{article}
    \usepackage[utf8]{inputenc}
    \usepackage[T1]{fontenc} % Right click on fontenc
    \begin{document}
    test
    \end{document}
    
     
  • Jan  Sundermeyer

    Jan Sundermeyer - 2015-11-07

    seems to work fine on linux.
    Tim ?

     
  • Tim Hoffmann

    Tim Hoffmann - 2015-11-08

    @Zash: Is Options -> Advanced Editor -> Special Options -> Show help on commands in internal pdf viewer (texdoc) enabled or disabled?

     
  • Zash

    Zash - 2015-11-09

    Disabled, external viewer is PDF-XChange Editor.

     
  • Tim Hoffmann

    Tim Hoffmann - 2015-12-13

    fixed: hg 5722 (6894d010cc43)

     
  • Tim Hoffmann

    Tim Hoffmann - 2015-12-13
    • status: open --> fixed
    • Group: -->
     

Log in to post a comment.

MongoDB Logo MongoDB