This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name Github Tweaks | |
// @description | |
// @namespace github | |
// @version 1.0.0 | |
// @include http*://*github.com/* | |
// @run-at document-start | |
// @grant unsafeWindow | |
// ==/UserScript== |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const Applet = imports.ui.applet; | |
function main(metadata, orientation, panel_height, instance_id) { | |
try{ | |
global[metadata.uuid] = [metadata, orientation, panel_height, instance_id]; | |
const | |
runtime = Function, | |
// basic dependencies | |
gi = imports.gi, | |
//GLib = gi.GLib, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// This populates our imports object with gi modules in the child process. | |
imports.gi.GIRepository.Repository.get_default(); | |
const Gio = imports.gi.Gio; | |
const Soup = imports.gi.Soup; | |
const Signals = imports.signals; | |
// Cinnamon's JS context does not have an ARGV global defined. | |
const isChildProcess = typeof ARGV !== 'undefined'; | |
const DEBUG = true; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name Youtube MP3 Download Button HTTPS | |
// @namespace https://youtube.com | |
// @version 1.1.6 | |
// @description Adds a MP3 Download button next to the subscribe button, thanks to youtubeinmp3 for their simple download service (http://youtubeinmp3.com/api/). Based off magnus's youtube2mp3 code and Soulweaver's fork of it. | |
// @match http*://www.youtube.com/* | |
// @require http://ajax.googleapis.com/ajax/libs/jquery/1/jquery.min.js | |
// @license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
// @run-at document-end | |
// ==/UserScript== |