proteusGIT

Installation of CVC4

4

The explanations for installation do not mention all solvers. E.g. CVC4 is missing. The website seems to have only an .exe for windows. Which files are needed and where to...

Disable automatic insertion of closing bracket when typing in front of text

5

#### Type of JetBrains IDE (IntelliJ, PyCharm, etc.) and version Build #IU-231.8109.175, built on March 28, 2023 #### Operating System Windows10 #### TeXiFy IDEA version 0.7.29 - 2023-04-14 #### What...

CTRL + / does not toggle comments for LaTeX and Java

1

**Description** Even for the [example](https://github.com/bobbylight/RSyntaxTextArea#example-usage), CTRL + / does not add line comments **Expected behavior** Adding and removing of // at beginning of line for java. Adding and removing of...

Problem running "tool"

2

Hi, I would like to run `make` using a custom tool (as defined in the menu). However, when setting the program to `"C:\\cygwin64\\bin\\bash"` in my custom tool, I get `Program...

Crash on provided example; Matrix unexpected keyword 'include_background_rectangle'

3

### Describe the bug Crash on provided example. **Code**: `$ python -m manimlib example_scenes.py OpeningManimExample` **Wrong display or Error traceback**: ``` $ python -m manimlib example_scenes.py OpeningManimExample C:\Users\user\AppData\Roaming\Python\Python312\site-packages\pydub\utils.py:170: RuntimeWarning: Couldn't...