Adds a few useful enhancements to Satori Online Judge website.

Latest Version

Version
2.0
Update
November 4, 2024
Size
545KiB
Developer
Category
Users
524
Rating
5 ★
Manifest Version
3
Web Store Status
Languages Support
English
See more
Permissions
Storage
Notifications
DeclarativeNetRequestWithHostAccess
Cookies
Scripting
Offscreen
See more

Satori Enhancements Extension

Satori Enhancements is an unofficial extension built for Jagiellonian University's Satori Online Judge (https://satori.tcs.uj.edu.pl) website. The main goal is to improve usability, ease of use and add some useful features.

Currently supported features:
- General:
- Removing UI clutter
- Replacing some image assets (e.g. Satori Premium logo) with an option to configure what are they changed to
- Improving styles (e.g. using more distinctive link color)
- Adding tab-order in forms for quicker navigation
- Auto-redirect to the recent contest when opening homepage URL
- Maintain login state between browsing sessions
- Problems:
- \"Results\" link for each problem
- Highlighting problems according to their best status (OK/ANS or other error)
- Ability to hide particular problems and remembering hidden problem groups
- Contest selector as a popup instead of a separate page
- Ranking:
- Ability to sort ranking tables by given column
- Search box to filter rows
- Sticking the table header and two leftmost columns (Rank/Lp and Name) when scrolling so they're always visible
- Submit:
- Allow pasting code instead of selecting local file when submitting
- Auto-redirect to the latest results page after submitting a solution
- Results:
- Auto-refreshing results page and notifying about problem status changes
- Syntax highlighting with configurable style

The extension is an open source software (MIT license) and its source code can be found on GitHub: https://github.com/m4tx/satori-enhancements
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "Satori Enhancements", "description": "Adds a few useful enhancements to Satori Online Judge website.", "version": "2.0", "minimum_chrome_version": "130", "browser_specific_settings": { "gecko": { "id": {a7a2f4f4-8648-4221-8e88-af047e0fe5ca}, "strict_min_version": "132.0" } }, "icons": { "16": "icon16.png", "48": "icon48.png", "128": "icon128.png" }, "options_ui": { "page": "options.html" }, "permissions": [ "storage", "notifications", "declarativeNetRequestWithHostAccess", "cookies", "scripting", "offscreen" ], "host_permissions": ["*://satori.tcs.uj.edu.pl/*"], "action": { "default_icon": "icon128.png", "default_title": "Satori Enhancements" }, "background": { "service_worker": "js/background.js", "scripts": [ "vendor/browser-polyfill.js", "js/config.js", "vendor/bower/jquery.min.js", "js/common.js", "js/background.js" ] }, "web_accessible_resources": [ { "resources": ["images/*.png", "images/*.svg"], "matches": ["*://satori.tcs.uj.edu.pl/*"] } ], "content_scripts": [ { "matches": ["*://satori.tcs.uj.edu.pl/*"], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/config.js", "js/general.js" ], "run_at": "document_end", "css": ["css/general.css"] }, { "matches": ["*://satori.tcs.uj.edu.pl/contest/select"], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/contest-select.js" ], "run_at": "document_end" }, { "matches": ["*://satori.tcs.uj.edu.pl/contest/*/*"], "exclude_matches": ["*://satori.tcs.uj.edu.pl/contest/apply/*"], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/contest.js" ], "run_at": "document_end", "css": ["css/contest.css"] }, { "matches": ["*://satori.tcs.uj.edu.pl/*/ranking/*"], "js": [ "vendor/bower/jquery.min.js", "vendor/bower/jquery.dataTables.min.js", "vendor/bower/dataTables.fixedColumns.min.js", "vendor/bower/diacritics-neutralise.js", "vendor/bower/intl.js", "js/ranking.js" ], "run_at": "document_end", "css": [ "vendor/bower/jquery.dataTables.min.css", "vendor/bower/fixedColumns.dataTables.min.css", "css/ranking.css" ] }, { "matches": [ "*://satori.tcs.uj.edu.pl/contest/*/problems", "*://satori.tcs.uj.edu.pl/contest/*/problems?*" ], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/common.js", "js/problems.js" ], "run_at": "document_end", "css": ["css/problems.css"] }, { "matches": ["*://satori.tcs.uj.edu.pl/contest/*/problems/*"], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/common.js", "js/problem.js" ], "run_at": "document_end", "css": ["css/problem.css"] }, { "matches": [ "*://satori.tcs.uj.edu.pl/contest/*/results", "*://satori.tcs.uj.edu.pl/contest/*/results?*" ], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/common.js", "js/results-list.js" ], "run_at": "document_end" }, { "matches": ["*://satori.tcs.uj.edu.pl/contest/*/results/*"], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "vendor/bower/highlight.pack.min.js", "vendor/bower/highlightjs-line-numbers.min.js", "js/common.js", "js/results.js" ], "run_at": "document_end", "css": ["vendor/bower/7-three-bounce.css", "css/results.css"] }, { "matches": ["*://satori.tcs.uj.edu.pl/contest/*/submit*"], "js": [ "vendor/browser-polyfill.js", "vendor/bower/jquery.min.js", "js/common.js", "js/submit.js" ], "run_at": "document_end", "css": ["css/submit.css"] } ]}
Read more

How to download and manually install Satori Enhancements extension for Chrome

Looking for a way to install Satori Enhancements extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install Satori Enhancements extensions manually, this article outlines two simple methods to effortlessly install Satori Enhancements extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download Satori Enhancements extension and manually install through Drag &Drop

If you ever need to manually install a Satori Enhancements extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the Satori Enhancements Extension by clicking the "Download CRX" button on the website.

Look for the Satori Enhancements extension you wish to install. Go to the website and download the Satori Enhancements extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for Satori Enhancements extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the Satori Enhancements extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download Satori Enhancements extension for Chrome and install in Developer Mode

This is another method to install Satori Enhancements extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the Satori Enhancements extension file

Select and download the Satori Enhancements extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the Satori Enhancements extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your Satori Enhancements extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the Satori Enhancements extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install Satori Enhancements extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

Stack Overflow Unofficial Patch Extension · Productivity 524 0 ★ 51.28KiB

icon

py3redirect Extension · Developer Tools 524 13 ★ 74.53KiB

icon

EuSonLito - Password Manager Extension · Productivity 524 0 ★ 23.47KiB

icon

Carrot Extension · Productivity 524 57 ★ 44.82KiB

icon

OctoPermalinker Extension · Developer Tools 524 1 ★ 373KiB

icon

Lavaca Developer Tools Extension · Developer Tools 524 0 ★ 10.42MiB

icon

No Liblink Extension · Productivity 524 3 ★ 21.74KiB

icon

Follow GitHub Organization Extension · Developer Tools 524 1 ★ 99.17KiB

icon

Codeforces Enhancer Extension · Developer Tools 524 38 ★ 25.12KiB

icon

CF-Predictor Extension · Developer Tools 524 161 ★ 84.96KiB

icon

SidebarOverflow Extension · Productivity 524 17 ★ 5.29KiB

icon

Simply GIT Extension · Productivity 524 7 ★ 224KiB

icon

Github Code Outline Extension · Productivity 524 1 ★ 464KiB

icon

CF Analytics Extension · Productivity 524 61 ★ 114KiB

icon

Builds Tab for Github Extension · Developer Tools 524 0 ★ 160KiB

icon

AWS Region Color Highlights Extension · Accessibility 524 4 ★ 6.46KiB

icon

Investigate with Lacework Extension · Productivity 524 0 ★ 17.45KiB

icon

Google Apps Sidebar Toggle Extension · Developer Tools 524 2 ★ 38.26KiB

icon

Notifications Preview for GitHub Extension · Productivity 524 6 ★ 40.9KiB

icon

rawkit Extension · Developer Tools 524 0 ★ 88.13KiB

icon

Make GitHub Great Again Extension · Developer Tools 524 38 ★ 528KiB

icon

Github Package.json Enhancer Extension · Developer Tools 524 0 ★ 18.89KiB

icon

GitHub Enhancement Suite Extension · Developer Tools 524 1 ★ 56.24KiB

icon

Librus - szybkie logowanie Extension · Productivity 524 3 ★ 41.56KiB

User reviews

icon

Jan Chyczyński (ID: 00000072d5d39bb4) Voted 5 ★ - Updated 12/02/2018 Świetna wtyczka, ale najlepiej korzysta sie z niej kiedy ma się też zainstalowany ciemny motyw: https://userstyles.org/styles/166545/satori-tcs-uj-dark-theme

icon

Maria S (ID: 000000e4e741bf74) Voted 5 ★ - Updated 11/29/2017 Dzięki tej wtyczce moje życie jest lepsze.

icon

Adam Pardyl (ID: 000000fd5fdbccbe) Voted 5 ★ - Updated 12/28/2016 Satori finally made usable!