glatavento

我也遇到了一样的问题，目测是因为（这个版本的） KDE 下（这个版本的） electron 没有正确运行这两个回调函数 https://github.com/qier222/YesPlayMusic/blob/a9b05d66a6bc756c4335edd3c6160b02d2b24a41/src/background.js#L327-L333 我现在的 workaround 是在这两个回调函数后加上 ```js this.window.on('close', () => { this.store.set('window', this.window.getBounds()); }); ``` 这个回调可以正确执行；另一个 workaround 是在 `~/.config/yesplaymusic/` 下新建 `config.json`，然后手动存储窗口信息： ```json { "window": { "x": 228,...

https://github.com/nju-lug/NJUThesisUndergraduate/pull/11 应该可以修好这个，但是我没有mac

I found [this fork](https://github.com/piratasdoraio/nxbt) from [useful-forks](https://useful-forks.github.io/?repo=Brikwerk%2Fnxbt) and luckily it works. Just create a venv, activate it, and run below to install it. ```bash pip install git+https://github.com/piratasdoraio/nxbt.git ```

> Is this enough for agda or does it require a lot of other symbols too? A lot, I am afraid. Agda uses almost every math symbols. To give you...