From 5b10a10743b8459f64fe83e0ff420f69da79c9a4 Mon Sep 17 00:00:00 2001
From: Yuchen Pei <hi@ypei.me>
Date: Thu, 28 Jul 2022 15:32:10 +1000
Subject: Moving scripts and utilities into a new utilities dir
---
nontrivial utility/README | 4 --
nontrivial utility/nontriv.html | 135 ----------------------------------------
2 files changed, 139 deletions(-)
delete mode 100644 nontrivial utility/README
delete mode 100644 nontrivial utility/nontriv.html
(limited to 'nontrivial utility')
diff --git a/nontrivial utility/README b/nontrivial utility/README
deleted file mode 100644
index 1947bd0..0000000
--- a/nontrivial utility/README
+++ /dev/null
@@ -1,4 +0,0 @@
-
-A utility that generates the JSON that the background script uses to determine if something is user defined, trivial or nontrivial.
-
-It is important to recognize that the objects that this script finds are likely dependent on what browser this script is running on since it gets the list by reading the contents of the global object. Make sure this is run on an up to date browser.
diff --git a/nontrivial utility/nontriv.html b/nontrivial utility/nontriv.html
deleted file mode 100644
index aaf49ba..0000000
--- a/nontrivial utility/nontriv.html
+++ /dev/null
@@ -1,135 +0,0 @@
-<!doctype html>
-
-<head>
-</head>
-<body>
-
-<script>
-window.onload = function (){
- var s = Object.getOwnPropertyNames(window);
-
- var kids = document.getElementById("categories").children;
- for(var i = 0; i < kids.length; i++){
- var checkbox = "<input name='opt' id='cat_"+kids[i].id+"' type='checkbox'></input>";
- kids[i].insertAdjacentHTML("beforeend",checkbox+"Check entire category\n");
- document.getElementById("cat_"+kids[i].id).addEventListener("click",function(){
- var nontriv = document.getElementById(this.id.substring(4,this.id.length));
- for(var j = 0; j < nontriv.children.length; j++){
- if(this.checked){
- nontriv.children[j].checked = true;
- } else{
- nontriv.children[j].checked = false;
- }
- }
- });
- }
-
- for(var i = 0; i < s.length; i++){
- var checkbox = "<input name='opt' id='"+s[i]+"' type='checkbox'></input>";
-
- if(s[i].indexOf("HTML") == 0){
- document.getElementById("html").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("CSS") == 0){
- document.getElementById("css").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("SVG") == 0){
- document.getElementById("svg").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("on") == 0){
- document.getElementById("event").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("RTC") == 0){
- document.getElementById("rtc").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("HTML") == 0){
- document.getElementById("html").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("VR") == 0){
- document.getElementById("vr").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("WebGL") == 0){
- document.getElementById("webgl").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("DOM") == 0){
- document.getElementById("dom").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("IDB") == 0){
- document.getElementById("idb").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Audio") != -1){
- document.getElementById("audio").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Gamepad") == 0){
- document.getElementById("gamepad").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Media") == 0){
- document.getElementById("media").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else if(s[i].indexOf("Event") != -1){
- document.getElementById("event2").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }else{
- document.getElementById("other").insertAdjacentHTML("beforeend",checkbox + s[i] + "\n");
- }
- }
-
- document.getElementById("gen").addEventListener("click",function(){
- var temp = document.getElementsByName("opt");
- var outputjson = {};
- for(var i = 1; i < temp.length; i++){
- outputjson[temp[i].id] = temp[i].checked;
- }
- document.getElementById("output").innerHTML = JSON.stringify(outputjson, null, '\t');
- });
- document.getElementById("read").addEventListener("click",function(){
- var inputjson = JSON.parse(document.getElementById("injson").value);
- console.log(inputjson);
- var keys = Object.keys(inputjson);
- for(var i = 0; i < keys.length; i++){
- console.log(inputjson[keys[i]]);
- if(inputjson[keys[i]] == true){
- document.getElementById(keys[i]).checked = true;
- } else{
- document.getElementById(keys[i]).checked = false;
- }
- }
- return;
- });
-}
-</script>
-
-This page allows us to generate the allowed/disallowed object JSON.
-<br>
-<br>
-We know it's up to date because it iterates over all keys of the window variable (which is the global object for browsers)
-<br>
-<br>
-(True = nontrivial, false = trivial)
-<br><br><br>
-<textarea id="injson" rows="4" cols="50"></textarea>
-<br>
-<input id="read" type="button" value="Load JSON"></input>
-<br>
-<input id="gen" type="button" value="Generate"></input>
-<br>
-<pre id="output"></pre>
-<div id="categories">
-
-<pre id="webgl">WebGL
-</pre>
-<pre id="svg">SVG
-</pre>
-<pre id="html">HTML
-</pre>
-<pre id="css">CSS
-</pre>
-<pre id="event">Events
-</pre>
-<pre id="rtc">WebRTC
-</pre>
-<pre id="vr">VR
-</pre>
-<pre id="dom">DOM
-</pre>
-<pre id="idb">IDB
-</pre>
-<pre id="audio">Audio
-</pre>
-<pre id="gamepad">Gamepad
-</pre>
-<pre id="media">Media
-</pre>
-<pre id="event2">Other events
-</pre>
-<pre id="other">All else
-</pre>
-
-</div>
-</body>
--
cgit v1.2.3