25

I often like to link to the corresponding CTAN page if I mention packages in my posts. I always wished there would be a button which does this for me. I now hacked some Greasemonkey user script together which adds one to the button bar on top of the input field. On request I added a second button for the package manuals on http://texdoc.net/.

Simply type the package name, mark it with the mouse and press the CTAN or DOC buttons on top. Many thanks goes to Paulo Cereda for designing the icons.

CTAN before

CTAN after

TeXDoc Before

TeXDoc after


For Firefox this needs Greasemonkey to be installed. There are also alternatives for other browsers, but I can't say if they work.

Note that this does not work in cases were the edit window is not displayed from the start, i.e. when you answer your own question or provide a second answer. Also it might not work if you reload a page. In this case reload it again by selecting the URL in the browser location bar and hit enter.

Also the buttons do not update the preview window. You need to type some text before it is updated.


View code Direct install

12
  • 1
    Seems to work fine in Opera. Thanks! May 9 '12 at 9:20
  • @TorbjørnT.: Yes, Opera 8 and above should have support for user scripts.
    – Martin Scharrer Mod
    May 9 '12 at 9:20
  • 1
    @Jake: Paulo already asked me that in the chat room. I can do this.
    – Martin Scharrer Mod
    May 9 '12 at 11:32
  • @MartinScharrer: Excellent!
    – Jake
    May 9 '12 at 11:39
  • 1
    @Jake: See my update.
    – Martin Scharrer Mod
    May 9 '12 at 15:22
  • 1
    All works nicely in Chrome. Thanks for this!
    – qubyte
    May 9 '12 at 16:23
  • 2
    Awesome! Awesome! Awesome! :) May 9 '12 at 19:50
  • Really useful; thank you. I must confess that I still write most of the URLs manually (old habits die hard), but gradually I am starting to use the script. May 17 '12 at 21:46
  • How does one install this in, say, Chrome? (Great work, btw.) May 18 '13 at 12:21
  • @JohnWickerson: You may need tampermonkey extension for chrome.
    – user11232
    May 26 '13 at 0:03
  • 1
    Sadly the links don't work at the moment...
    – cmhughes
    Nov 11 '15 at 9:08
  • @MartinScharrer Sounds like a really useful thing. Is this script still available somewhere? Jun 26 '17 at 11:51

You must log in to answer this question.

Browse other questions tagged .