Commit 2f5afe119412a53bc6cefb5fa395438231fce829 | zig

author	Wooster <r00ster91@proton.me> 2022-08-06 15:53:20+02:00
committer	Wooster <r00ster91@proton.me> 2022-08-06 15:53:20+02:00
log	2f5afe119412a53bc6cefb5fa395438231fce829
tree	1d197da3373524fcbaa75eca7dde28b5bee5b0f7
parent	e921dd11361cf62128f4c6417f6d7313dd403455

let -> const for dom elements

These should never be reassigned.

1 files changed, 46 insertions(+), 46 deletions(-)

lib
- docs
  - main.js

lib/docs/main.js+46-46

...	@@ -3,52 +3,52 @@	...	@@ -3,52 +3,52 @@
3	var zigAnalysis;	3	var zigAnalysis;
4		4
5	(function () {	5	(function () {
6	let domStatus = document.getElementById("status");	6	const domStatus = document.getElementById("status");
7	let domSectNav = document.getElementById("sectNav");	7	const domSectNav = document.getElementById("sectNav");
8	let domListNav = document.getElementById("listNav");	8	const domListNav = document.getElementById("listNav");
9	let domSectMainPkg = document.getElementById("sectMainPkg");	9	const domSectMainPkg = document.getElementById("sectMainPkg");
10	let domSectPkgs = document.getElementById("sectPkgs");	10	const domSectPkgs = document.getElementById("sectPkgs");
11	let domListPkgs = document.getElementById("listPkgs");	11	const domListPkgs = document.getElementById("listPkgs");
12	let domSectTypes = document.getElementById("sectTypes");	12	const domSectTypes = document.getElementById("sectTypes");
13	let domListTypes = document.getElementById("listTypes");	13	const domListTypes = document.getElementById("listTypes");
14	let domSectTests = document.getElementById("sectTests");	14	const domSectTests = document.getElementById("sectTests");
15	let domListTests = document.getElementById("listTests");	15	const domListTests = document.getElementById("listTests");
16	let domSectNamespaces = document.getElementById("sectNamespaces");	16	const domSectNamespaces = document.getElementById("sectNamespaces");
17	let domListNamespaces = document.getElementById("listNamespaces");	17	const domListNamespaces = document.getElementById("listNamespaces");
18	let domSectErrSets = document.getElementById("sectErrSets");	18	const domSectErrSets = document.getElementById("sectErrSets");
19	let domListErrSets = document.getElementById("listErrSets");	19	const domListErrSets = document.getElementById("listErrSets");
20	let domSectFns = document.getElementById("sectFns");	20	const domSectFns = document.getElementById("sectFns");
21	let domListFns = document.getElementById("listFns");	21	const domListFns = document.getElementById("listFns");
22	let domSectFields = document.getElementById("sectFields");	22	const domSectFields = document.getElementById("sectFields");
23	let domListFields = document.getElementById("listFields");	23	const domListFields = document.getElementById("listFields");
24	let domSectGlobalVars = document.getElementById("sectGlobalVars");	24	const domSectGlobalVars = document.getElementById("sectGlobalVars");
25	let domListGlobalVars = document.getElementById("listGlobalVars");	25	const domListGlobalVars = document.getElementById("listGlobalVars");
26	let domSectValues = document.getElementById("sectValues");	26	const domSectValues = document.getElementById("sectValues");
27	let domListValues = document.getElementById("listValues");	27	const domListValues = document.getElementById("listValues");
28	let domFnProto = document.getElementById("fnProto");	28	const domFnProto = document.getElementById("fnProto");
29	let domFnProtoCode = document.getElementById("fnProtoCode");	29	const domFnProtoCode = document.getElementById("fnProtoCode");
30	let domSectParams = document.getElementById("sectParams");	30	const domSectParams = document.getElementById("sectParams");
31	let domListParams = document.getElementById("listParams");	31	const domListParams = document.getElementById("listParams");
32	let domTldDocs = document.getElementById("tldDocs");	32	const domTldDocs = document.getElementById("tldDocs");
33	let domSectFnErrors = document.getElementById("sectFnErrors");	33	const domSectFnErrors = document.getElementById("sectFnErrors");
34	let domListFnErrors = document.getElementById("listFnErrors");	34	const domListFnErrors = document.getElementById("listFnErrors");
35	let domTableFnErrors = document.getElementById("tableFnErrors");	35	const domTableFnErrors = document.getElementById("tableFnErrors");
36	let domFnErrorsAnyError = document.getElementById("fnErrorsAnyError");	36	const domFnErrorsAnyError = document.getElementById("fnErrorsAnyError");
37	let domFnExamples = document.getElementById("fnExamples");	37	const domFnExamples = document.getElementById("fnExamples");
38	// let domListFnExamples = (document.getElementById("listFnExamples"));	38	// const domListFnExamples = (document.getElementById("listFnExamples"));
39	let domFnNoExamples = document.getElementById("fnNoExamples");	39	const domFnNoExamples = document.getElementById("fnNoExamples");
40	let domDeclNoRef = document.getElementById("declNoRef");	40	const domDeclNoRef = document.getElementById("declNoRef");
41	let domSearch = document.getElementById("search");	41	const domSearch = document.getElementById("search");
42	let domSectSearchResults = document.getElementById("sectSearchResults");	42	const domSectSearchResults = document.getElementById("sectSearchResults");
43		43
44	let domListSearchResults = document.getElementById("listSearchResults");	44	const domListSearchResults = document.getElementById("listSearchResults");
45	let domSectSearchNoResults = document.getElementById("sectSearchNoResults");	45	const domSectSearchNoResults = document.getElementById("sectSearchNoResults");
46	let domSectInfo = document.getElementById("sectInfo");	46	const domSectInfo = document.getElementById("sectInfo");
47	// let domTdTarget = (document.getElementById("tdTarget"));	47	// const domTdTarget = (document.getElementById("tdTarget"));
48	let domPrivDeclsBox = document.getElementById("privDeclsBox");	48	const domPrivDeclsBox = document.getElementById("privDeclsBox");
49	let domTdZigVer = document.getElementById("tdZigVer");	49	const domTdZigVer = document.getElementById("tdZigVer");
50	let domHdrName = document.getElementById("hdrName");	50	const domHdrName = document.getElementById("hdrName");
51	let domHelpModal = document.getElementById("helpModal");	51	const domHelpModal = document.getElementById("helpModal");
52	const domSearchPlaceholder = document.getElementById("searchPlaceholder");	52	const domSearchPlaceholder = document.getElementById("searchPlaceholder");
53		53
54	domSearch.disabled = false;	54	domSearch.disabled = false;