Adds navigate button and keyboard shortcuts for browsing the DRPS. Creates links in plain-text DRPS descriptors from course codes.

Latest Version

Version

0.0.5

Update

December 18, 2023

Size

61.14KiB

Developer

DRPS Arrows Extension

DRPS arrows is an unofficial tool to help you navigate the DRPS website more quickly.

The DRPS holds course and degree programme information at the University of Edinburgh. This extension is of no use to those not associated with this University.

Features:

- Use Ctrl+left and Ctrl+right to navigate to previous and future sessions.

- Use Ctrl+up to navigate to the ‘current’ session (rolls over in June).

- The year in the title banner also has links to these sessions added.

- Plain text course codes are converted into proper links, so you can now click on any cross-references within course descriptors.

- A coloured toolbar icon indicates whether the current page is old or new, and provides a menu that you can also navigate with. (If you don't like/need the icon, you can remove it by right-clicking on it, and choosing the corresponding option.)

Version 0.0.5 contains technical changes so that the extension will still work after Google's upcoming changes to the Chrome browser (enforcing use of \"manifest v3\"). Otherwise it should work the same as before.

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "DRPS Arrows", "version": "0.0.5", "description": "Adds navigate button and keyboard shortcuts for browsing the DRPS. Creates links in plain-text DRPS descriptors from course codes.", "homepage_url": "http://homepages.inf.ed.ac.uk/imurray2/pt/drps_arrows/", "permissions": [ "activeTab" ], "content_scripts": [ { "matches": ["*://www.drps.ed.ac.uk/*"], "js": ["session.js", "content.js", "page_messages.js"], "all_frames": false } ], "background": { "service_worker": "service_worker.js" }, "icons": { "16": "icons/red_arrows_16.png", "48": "icons/red_arrows_48.png", "96": "icons/red_arrows_96.png", "128": "icons/red_arrows_128.png", "512": "icons/red_arrows_512.png" }, "action": { "browser_style": false, "default_icon": { "16": "icons/gray_arrows_16.png", "19": "icons/gray_arrows_19.png", "38": "icons/gray_arrows_38.png" }, "default_title": "DRPS navigation extension", "default_popup": "menu.html" }, "content_security_policy": {}}

Download CRX(61.14KiB)