Nope...I deleted the .js files I had plopped in /usr/share/SuperCollider/HelpSource/lib and did a reinstall of supercollider-common. The same issue appeared, and I found that symbolic links to the /usr/share/javascript directory were created:
Mar 5 01:56 codemirror-5.39.2.min.js -> ../../../javascript/codemirror/codemirror.js
Mar 5 01:56 codemirror-addon-simple-5.39.2.min.js -> ../../../javascript/codemirror/addon/mode/simple.js
Mar 5 01:56 jquery.min.js -> ../../../javascript/jquery/jquery.min.js
...however, only the jquery.min.js link points to an actual file. There is no 'codemirror' directory under /usr/share/javascript.
Nope...I deleted the .js files I had plopped in /usr/share/ SuperCollider/ HelpSource/ lib and did a reinstall of supercollider- common. The same issue appeared, and I found that symbolic links to the /usr/share/ javascript directory were created:
Mar 5 01:56 codemirror- 5.39.2. min.js -> ../../. ./javascript/ codemirror/ codemirror. js
Mar 5 01:56 codemirror- addon-simple- 5.39.2. min.js -> ../../. ./javascript/ codemirror/ addon/mode/ simple. js
Mar 5 01:56 jquery.min.js -> ../../. ./javascript/ jquery/ jquery. min.js
...however, only the jquery.min.js link points to an actual file. There is no 'codemirror' directory under /usr/share/ javascript.