|
- // ==UserScript==
- // @name Garland location fixer
- // @version 1
- // @include http://www.garlandtools.org/db/*
- // @run-at document-end
- // @grant none
- // ==/UserScript==
-
- /* Patch gathering material resolver */
- function garlandLocationFixer() {
- 'use strict';
- console.log('fixer: garlandLocationFixer, v1.0');
- console.log('fixer: installing monkey patch');
- let actual_resolve = gt.node.resolveCraftSource;
- gt.node.resolveCraftSource = function(step, id) {
- actual_resolve(step, id);
- let view = step.sourceView;
- console.log('fixer: Adding ' + view.name + ' to ' + view.longSourceName);
- view.longSourceName = view.name + ', ' + view.longSourceName;
- console.log('fixer: done.');
- }
- console.log('fixer: done.');
- }
-
- /* Add script to execute in page scope */
- var script = document.createElement("script");
- script.type = "application/javascript";
- script.textContent = "(" + garlandLocationFixer + ")();";
-
- document.body.appendChild(script);
|