Tony notes, such as Introducing Rigorous Mathematics, On behavior of Cauchy products, IMO HK with Solutions and etc.
Tony’s notes, such as Introducing Rigorous Mathematics, On behavior of Cauchy products, etc.
I have just tidied this repository, renaming folder Data to DATA, which for all-capital file / folder name I intend to be edited without the need to code —- like those for user (kind of, manager of this repository), although I am actually the only user. In other words, things in folder with all capital letters are intended to be more user-friendly.
Comment [2020-09-17 16:17]
To get rid of something like DOMException: Blocked a frame with origin “https://www.desmos.com“ from accessing a cross-origin…, which made my testing frustrating (e.g. want to test
window.topin a sub HTML file in<iframe>), refer to https://stackoverflow.com/a/19317888 in https://stackoverflow.com/questions/3102819/disable-same-origin-policy-in-chrome, telling you that you can put this line:"C:/Program Files (x86)/Google/Chrome/Application/chrome.exe" --user-data-dir="C:/Chrome dev session" --disable-web-securityinto Windows command prompt and then it creates a new folderC:/Chrome dev sessionfor temporary Chrome.Just remember to delete that folder after testing as the above post mentioned.
However, though it is annoying, make sure you know what you are doing before browsing insecurely. You may not know if the website you embed in your webpage is absolutely safe.
To give more guiding, first open the local HTML file by clicking it, and then in the default Chrome browser you can copy the file link in it to paste on the insecure Chrome.
Comment [2020-09-17 22:00]
You may learn / recall something from comments in commit 362a9a6 and /or commit f5a3e33 (necessary TODOs there are replaced by this file).
Comment [2020-09-18 11:56]
May refer to https://github.com/TonyMaYiXuan/Tony_notes/commit/93777dde85f32bb4a50ac614e7512ee595563a7b#commitcomment-42418912, it is particularly complicated to set sizes across different devices systematically and thoroughly, and it requires a lot of testing and careful planning, included but not limited to defining a file style.css for every HTML file to use.
Comment [2020-09-18 12:29]
Discovered a few days ago, you may use something like https://raw.githubusercontent.com/TonyMaYiXuan/-x-x-y-y/master/HTML_HW_2/index.html to access raw file code, but I guess, a file being updated here does not imply it has already been updated on the real website.
Comment [2020-09-18 14:04]
Refer to comment [2020-09-18 11:56], I may create a project to plan my work well. Refer to the directory dogBoneShape, some files like style.css and setDimensions.js (better rename to setStyles.js may be compulsory).
Comment [2020-09-18 14:52]
Refer to Issues of this repository, try to fix it later. But as Kenny suggests, js may probably be a langauge with bugs, the point is, I have to be familiar with it and learn to design web layout step by step / at least systematically, to learn a stable way of development.
Comment [2020-10-13 17:51]
Be careful with javascript (or programming skill of yourself). First of all, it is not c++, so don’t don things like
arr[a == b](change boolean to integer first). Also, refer to this commit, https://stackoverflow.com/a/2274327, notice that you should not use variable as key of dictionary unless it is put inside a[].Comment [2020-10-13 19:00]
To immitate the case on Phone, simply change isAndroid to true in initDataDict.js.
dataDict.papers['Google Drive folder link'] (which is easier for either Android or desktop to download pdf) and more in DATA_FOR_PAPERS.json and display how many versions there are for a paper near it.noresize, I suggest.type='application/pdf' and something like height=1280px for mainDisplay by javascript.TODO in files by GitHub.