26

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!
    – Torbjørn T.
    May 9, 2012 at 9:20
  • @TorbjørnT.: Yes, Opera 8 and above should have support for user scripts.
    – Martin Scharrer
    May 9, 2012 at 9:20
  • 1
    @Jake: Paulo already asked me that in the chat room. I can do this.
    – Martin Scharrer
    May 9, 2012 at 11:32
  • @MartinScharrer: Excellent!
    – Jake
    May 9, 2012 at 11:39
  • 1
    @Jake: See my update.
    – Martin Scharrer
    May 9, 2012 at 15:22
  • 1
    All works nicely in Chrome. Thanks for this!
    – qubyte
    May 9, 2012 at 16:23
  • 2
    Awesome! Awesome! Awesome! :)
    – Paulo Cereda
    May 9, 2012 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.
    – Gonzalo Medina
    May 17, 2012 at 21:46
  • How does one install this in, say, Chrome? (Great work, btw.)
    – John Wickerson
    May 18, 2013 at 12:21
  • @JohnWickerson: You may need tampermonkey extension for chrome.
    – user11232
    May 26, 2013 at 0:03
  • 1
    Sadly the links don't work at the moment...
    – cmhughes
    Nov 11, 2015 at 9:08
  • @MartinScharrer Sounds like a really useful thing. Is this script still available somewhere?
    – samcarter_is_at_topanswers.xyz
    Jun 26, 2017 at 11:51

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .