- 23 Mar, 2021 2 commits
-
-
dgelessus authored
-
Michael Leuschel authored
-
- 12 Feb, 2021 1 commit
-
- 11 Feb, 2021 3 commits
-
-
dgelessus authored
The Gradle documentation says that these convention properties are deprecated and superseded by the java and application extension blocks. Using the convention properties doesn't generate warnings yet, but it can't hurt to switch to the now recommended way.
-
dgelessus authored
-
dgelessus authored
-
- 21 Dec, 2020 1 commit
-
-
dgelessus authored
-
- 08 Dec, 2020 1 commit
-
-
dgelessus authored
-
- 04 Dec, 2020 1 commit
-
-
dgelessus authored
-
- 03 Dec, 2020 1 commit
-
-
dgelessus authored
-
- 06 Nov, 2020 2 commits
- 05 Nov, 2020 1 commit
-
-
dgelessus authored
This doesn't affect predicates passed to :exec/:constants/:init yet, because ProB 2's StateSpace.transitionFromPredicate method currently only accepts a string predicate (which is parsed using the model's languate) and not an arbitrary IEvalElement.
-
- 17 Sep, 2020 2 commits
-
-
dgelessus authored
-
dgelessus authored
This fixes a bug where interrupting a command would terminate the main event loop thread, causing the kernel to stop responding. This happened because the interrupt handling sent a Java interrupt to the thread executing the current command, which was always the main event loop thread. Now commands are executed on a separate executor, which can safely have Java interrupts sent to it without affecting any jupyter-jvm-basekernel threads.
-
- 09 Sep, 2020 6 commits
-
-
dgelessus authored
-
dgelessus authored
-
dgelessus authored
When an error points to an external file, its source code is now read and errors highlighted in it. Error highlighting for code from the last load cell now also works when an error pointing to it is thrown in a later cell (although this doesn't happen often). The initial/default machine is also recognized (although there should never be errors pointing to its code).
-
dgelessus authored
At the moment error highlighting is only supported for the machine/formula in the current cell.
-
dgelessus authored
-
dgelessus authored
-
- 01 Sep, 2020 1 commit
-
-
dgelessus authored
-
- 31 Aug, 2020 1 commit
-
-
dgelessus authored
-
- 02 Jul, 2020 3 commits
- 19 Jun, 2020 2 commits
- 16 Jun, 2020 12 commits
-
-
dgelessus authored
-
dgelessus authored
If the cursor is after the command name, but before the start of the argument string, it makes more sense from a user perspective to treat it as if it was at the start of the argument string. This way if there are multiple spaces between the command name and argument, the user can still use code completion inside this whitespace and get completions for the first parameter of the command.
-
dgelessus authored
-
dgelessus authored
This makes it possible to inspect B variables when the cursor is right before the first character of the identifier.
-
dgelessus authored
-
dgelessus authored
-
dgelessus authored
There is now a single preprocessInput method that is responsible for adding a command prefix to any input that doesn't already have one. This simplifies the implementations of (eval|inspect|complete)Internal somewhat, because they can now assume that the input (after preprocessing) always starts with a command name.
-
dgelessus authored
This code was effectively never called - in Jupyter Notebook, pressing Tab on a whitespace-only line will add an indent level rather than triggering code completion.
-
dgelessus authored
The PositionedString offsets here now use the same origin as the "at" index received from Jupyter. This way the "at" index and the replacements no longer need to be offset manually after the command name is removed from the string.
-
dgelessus authored
The PositionedString offsets here now use the same origin as the "at" index received from Jupyter. This way the "at" index no longer needs to be offset manually after the command name is removed from the string.
-
dgelessus authored
This position information isn't used for anything yet.
-
dgelessus authored
-