Gerard Canal
Gerard Canal
Hello! Love the plugin, nice work! I use it mainly to control spotify web player, and I noticed that when I open the gmail tab the media keys stop working...
As done for CHIMP in #274, it would be good to only compile some dependencies when needed by the user (i.e. by using some flags). We could also go further...
## Your environment TbSync version: 4.7 EAS-4-TBSync Version: 4.7 Thunderbird version: 115.3.1 OS: Ubuntu 20.04 ## Expected behavior Thunderbird should not freeze during calendar sync. ## Actual behavior Thunderbird keeps...
When I implemented the getExpression for connective clauses in the RDDL KB, there was an assumption operands would have only two elements (so I would handle the conversion to ExprBase...
The issue was introduced in #289 with only one boolean of the two new added being set. #320 fixed this but was closed without merging, so opening it again.
**Is your feature request related to a problem? Please describe.** I recently discovered a setting under the user options (when clicking on my avatar in the top-right) to specify whether...