Nils K
Nils K
As `git mv oldname newname` does basically the equivalent of `mv oldname newname & git add newname & git rm oldname` I do not think this is worth the complexity...
@fuhrysteve I noticed you pinged me in another PR. I have not worked on this recently but am willing to resume it. As the code has not changed too much...
You could also add the official `typing_extensions` as a conditional dependency for older python versions
@dwolfhub would you accept a PR for this? If yes what variant would you prefer?
I pushed my work so far. Mypy still outputs some errors and I accidentally let my formatter run on one of the files which I will have to manually revert...
IMO would be okay if BigInt support just were to be released in a new major version. Removal of `NaN` should probably be considered a breaking change anyhow.
Just found this issue and currently work on adding native dark style support to sphinx. The issue as well as the link to the PR can be found here https://github.com/sphinx-doc/sphinx/issues/7101....
Does rtd already support sphinx 3? I think it would be a good idea to wait till then. Also could someone maybe update the title to more closely represent the...
I personally would want websites to automatically display a dark theme if `prefers-color-scheme` is set to `dark` (the *prefers* is there for a reason) but offer a easily accessible way...
I also got a SIGSEGV whilst closing the app using Alt-F4 on linux (Fedora 36, Gnome, Wayland) [texstudio_backtrace1.txt](https://github.com/texstudio-org/texstudio/files/8908889/texstudio_backtrace1.txt)