JingMatrix
JingMatrix
For me, it IS tedious to add configurations for each single pages, while a handy structure is already present in the content folder. Moreover, it is easier for users to...
To solve this problem, create a file `article-script.js` with the following content ```js window.addEventListener("load", () => { setTimeout(() => { window.location.href = gdAudioLinks.first; }, 0); }); ``` and then put...
The lag depends on your size of dictionaries, if you want to speed up, then you can try to change the time of wait (which is `300` is the example)...
> Another problem is that when translating from clipboard (Ctrl+C, C) it'll pronounce twice. I cannot reproduce it on my device. Maybe it is because that I setup the shortcut...
Yes, exactly. Please thus turn them off.
Issue confirmed today, with `zathura 0.5.6-2`, `zathura-pdf-mupdf 0.4.2-1`. But if I switch to `zathura-pdf-mupdf 0.4.1-21`, then there is not such bug. The versions I mentioned are provided by `pacman` of...
After bisecting recent commits, I have found that the crash is caused by the API page_get_label introduced in commit ed82616 . This API is called by [statusbar_page_number_update](https://github.com/pwmt/zathura/blob/482617cfbea499a5e80ab5b9f95c9189f3fb98a9/zathura/zathura.c#L1655) of zathura. When...
From the source code in chromium, we have following related information: 1. Parse text file, [third_party/blink/renderer/core/html/parser/text_document_parser.cc](https://source.chromium.org/chromium/chromium/src/+/main:third_party/blink/renderer/core/html/parser/text_document_parser.cc) 2. Compute document type, [third_party/blink/renderer/core/dom/document_init.cc](https://source.chromium.org/chromium/chromium/src/+/main:third_party/blink/renderer/core/dom/document_init.cc)
Edge has excluded urls ending with `user.js` from preview. Hence, we may provide a fake filename for these files. The download triger might locate at `libchrome.so`.
Currently, to install scripts for Egde, we 1. download the scripts as asked by the browser; 2. go to download files in the settings of browser, and rename the script...