impermeable/waterproof-vscode issues and pull requests

#110 - Update version number to 0.9.16 and ...

Pull Request - State: closed - Opened by jim-portegies 8 days ago

#109 - tab functionality added to indent, if multiple lines selected only fi…

Pull Request - State: closed - Opened by Alisakondratyev 9 days ago

#108 - Custom placeholder for coq cells placed within an input area.

Pull Request - State: closed - Opened by DikieDick 9 days ago - 1 comment

#108 - Custom placeholder for coq cells placed within an input area.

Pull Request - State: closed - Opened by DikieDick 9 days ago - 1 comment

#107 - Forward undo/redo events to ProseMirror, ProseMirror maintains undo/redo stack.

Pull Request - State: closed - Opened by DikieDick 9 days ago - 4 comments

#106 - Move to specified versions, revert @codemirror/view to 6.27.0

Pull Request - State: closed - Opened by pimotte 9 days ago - 4 comments

#106 - Move to specified versions, revert @codemirror/view to 6.27.0

Pull Request - State: closed - Opened by pimotte 9 days ago - 4 comments

#105 - Copying, cutting and pasting is currently not working

Issue - State: closed - Opened by pimotte 9 days ago

#105 - Copying, cutting and pasting is currently not working

Issue - State: closed - Opened by pimotte 9 days ago

#104 - Color input areas blue by default.

Pull Request - State: closed - Opened by DikieDick 9 days ago - 1 comment

#103 - Update tutorial

Pull Request - State: closed - Opened by jim-portegies 9 days ago

#103 - Update tutorial

Pull Request - State: closed - Opened by jim-portegies 9 days ago

#102 - Feat more tactics

Pull Request - State: closed - Opened by jim-portegies 9 days ago

#102 - Feat more tactics

Pull Request - State: closed - Opened by jim-portegies 9 days ago

#101 - indent with tab in markdown cells

Pull Request - State: closed - Opened by Alisakondratyev 10 days ago

#100 - new tab keymap

Pull Request - State: closed - Opened by Alisakondratyev 10 days ago

#100 - new tab keymap

Pull Request - State: closed - Opened by Alisakondratyev 10 days ago

#99 - Fix default arguments for windows

Pull Request - State: closed - Opened by jim-portegies 11 days ago

#98 - Temporary fix for undo problem.

Pull Request - State: closed - Opened by DikieDick 13 days ago

#98 - Temporary fix for undo problem.

Pull Request - State: closed - Opened by DikieDick 13 days ago

#97 - [Bug] Desync in editor

Issue - State: closed - Opened by pimotte 16 days ago
Labels: bug

#97 - [Bug] Desync in editor

Issue - State: closed - Opened by pimotte 16 days ago
Labels: bug

#96 - Make sure messages about different goals are visibly split

Pull Request - State: closed - Opened by pimotte 23 days ago - 2 comments

#96 - Make sure messages about different goals are visibly split

Pull Request - State: closed - Opened by pimotte 23 days ago - 2 comments

#95 - Add pull request template

Pull Request - State: closed - Opened by DikieDick 23 days ago - 2 comments

#95 - Add pull request template

Pull Request - State: closed - Opened by DikieDick 23 days ago - 2 comments

#94 - Switch to `const enum` in shared files.

Pull Request - State: open - Opened by DikieDick about 1 month ago - 2 comments

#93 - Buffer and apply Editor edits in bulk.

Pull Request - State: open - Opened by DikieDick about 1 month ago

#93 - Buffer and apply Editor edits in bulk.

Pull Request - State: open - Opened by DikieDick about 1 month ago

#92 - Update tactics descriptions

Pull Request - State: closed - Opened by jim-portegies about 1 month ago - 1 comment

#92 - Update tactics descriptions

Pull Request - State: closed - Opened by jim-portegies about 1 month ago - 1 comment

#91 - Insert button for diagnostics

Pull Request - State: open - Opened by DikieDick about 1 month ago - 4 comments
Labels: Feature

#91 - Insert button for diagnostics

Pull Request - State: open - Opened by DikieDick about 1 month ago - 4 comments
Labels: Feature

#90 - Pre-Teaching checklist

Issue - State: open - Opened by pimotte about 1 month ago

#89 - Insert diagnotic suggestions at cursor

Issue - State: open - Opened by pimotte about 1 month ago

#89 - Insert diagnotic suggestions at cursor

Issue - State: open - Opened by pimotte about 1 month ago

#88 - Show notices as diagnostics by default

Pull Request - State: closed - Opened by jim-portegies about 1 month ago

#87 - `.v` file support.

Pull Request - State: open - Opened by DikieDick about 1 month ago
Labels: Feature

#87 - `.v` file support.

Pull Request - State: open - Opened by DikieDick about 1 month ago
Labels: Feature

#86 - Make snippets explicit, so no syntax errors appear.

Pull Request - State: closed - Opened by jim-portegies about 2 months ago - 4 comments

#86 - Make snippets explicit, so no syntax errors appear.

Pull Request - State: closed - Opened by jim-portegies about 2 months ago - 4 comments

#85 - Color input areas red by default

Pull Request - State: closed - Opened by DikieDick about 2 months ago - 1 comment
Labels: Feature

#85 - Color input areas red by default

Pull Request - State: closed - Opened by DikieDick about 2 months ago - 1 comment
Labels: Feature

#84 - Update node dependencies

Pull Request - State: closed - Opened by DikieDick 2 months ago

#83 - Run NPM audit

Pull Request - State: closed - Opened by DikieDick 2 months ago - 1 comment

#82 - Relax input area strictness

Pull Request - State: closed - Opened by DikieDick 2 months ago - 1 comment

#81 - `npm audit` to fix vulnerabilities in node packages

Pull Request - State: closed - Opened by DikieDick 3 months ago - 1 comment

#80 - Auto installer for Windows

Pull Request - State: closed - Opened by M-J-V 5 months ago

#80 - Auto installer for Windows

Pull Request - State: closed - Opened by M-J-V 5 months ago

#79 - Develop waterproof color theme

Issue - State: closed - Opened by driverag22 5 months ago

#79 - Develop waterproof color theme

Issue - State: closed - Opened by driverag22 5 months ago

#78 - Waterproof color theme

Pull Request - State: closed - Opened by driverag22 5 months ago
Labels: Feature

#78 - Waterproof color theme

Pull Request - State: closed - Opened by driverag22 5 months ago
Labels: Feature

#77 - Line long errors implementation using coq-lsp diagnostics

Pull Request - State: closed - Opened by driverag22 5 months ago - 1 comment
Labels: Feature

#77 - Line long errors implementation using coq-lsp diagnostics

Pull Request - State: closed - Opened by driverag22 5 months ago - 1 comment
Labels: Feature

#76 - Changed background color for selected text for more visibility

Pull Request - State: closed - Opened by driverag22 6 months ago

#76 - Changed background color for selected text for more visibility

Pull Request - State: closed - Opened by driverag22 6 months ago

#75 - Support for '.v' files

Pull Request - State: closed - Opened by DikieDick 6 months ago - 1 comment
Labels: Feature

#74 - Audit: Ran NPM audit to fix security issue

Pull Request - State: closed - Opened by DikieDick 7 months ago

#73 - New ProseMirror document constructor

Pull Request - State: closed - Opened by DikieDick 8 months ago - 3 comments
Labels: Feature

#72 - Fix goal panel showing too much information

Pull Request - State: closed - Opened by XyntaxCS 8 months ago - 1 comment

#71 - Fix goal panel showing too much information

Pull Request - State: closed - Opened by XyntaxCS 8 months ago - 1 comment

#69 - Update issue templates

Pull Request - State: closed - Opened by DikieDick 9 months ago

#68 - Fix file error bug

Pull Request - State: closed - Opened by XyntaxCS 10 months ago

#67 - Split expandDef, Help and Search button into three, added fix to remove empty lines/ending dot for input for Search and Execute, fixed right click->help not loading directly

Pull Request - State: closed - Opened by driverag22 10 months ago - 8 comments

#66 - Removed space between word and arrow in top buttons to fix button formatting for linux machines

Pull Request - State: closed - Opened by driverag22 10 months ago

#65 - Split expand definition, help and search buttons into three, and added check for a dot/empty lines when using Search/Execute views

Pull Request - State: closed - Opened by driverag22 10 months ago - 1 comment

#64 - chore: bump version number

Pull Request - State: closed - Opened by jim-portegies 11 months ago

#63 - Update README.md

Pull Request - State: closed - Opened by jim-portegies 11 months ago

#62 - added check for periods & fixed bug that occurs when adding newlines to inputText2 in expand definition

Pull Request - State: closed - Opened by driverag22 12 months ago

#61 - Fix for autocomplete bug when typing after a "."

Pull Request - State: closed - Opened by driverag22 12 months ago

#60 - refactor: bump version number

Pull Request - State: closed - Opened by jim-portegies 12 months ago

#59 - Add message on illegal file name

Pull Request - State: closed - Opened by XyntaxCS 12 months ago - 1 comment

#58 - added check for periods in expand definition

Pull Request - State: closed - Opened by driverag22 12 months ago

#57 - Post message wrong file name

Pull Request - State: closed - Opened by XyntaxCS 12 months ago - 1 comment

#56 - Add check for correctness of non input areas.

Pull Request - State: closed - Opened by DikieDick 12 months ago

#55 - Misc changes for developers

Pull Request - State: closed - Opened by DikieDick 12 months ago

#54 - Disable transactions in code cells outside of input-areas

Pull Request - State: closed - Opened by DikieDick 12 months ago

#53 - refactor: bump version number

Pull Request - State: closed - Opened by jim-portegies 12 months ago

#52 - Temporary fix for "<z" bug.

Pull Request - State: closed - Opened by DikieDick 12 months ago

#51 - Fixed problems with text visibility when selected which happened for some themes (such as Light+ and the high contrast themes)

Pull Request - State: closed - Opened by driverag22 12 months ago

#50 - Fixed error that showed up due to <tr> being a child of <table> directly with no <tbody> in between

Pull Request - State: closed - Opened by driverag22 12 months ago - 1 comment

#49 - Version checker

Pull Request - State: closed - Opened by jim-portegies about 1 year ago

#48 - Added \geq,\leq,\neq,\to latex notation for symbols autocomplete

Pull Request - State: closed - Opened by driverag22 about 1 year ago

#47 - Editor: Force `@codemirror` linter to run only when editor is idle.

Pull Request - State: closed - Opened by DikieDick about 1 year ago

#46 - Update readme - Windows and Mac Installers

Pull Request - State: closed - Opened by M-J-V about 1 year ago

#45 - Add keybindings to editor

Pull Request - State: closed - Opened by DikieDick about 1 year ago

#44 - Store symbol/tactic data in shared location.

Pull Request - State: closed - Opened by DikieDick about 1 year ago

#43 - Menubar temporary updates

Pull Request - State: closed - Opened by XyntaxCS about 1 year ago

#42 - Editor: Remove `@codemirror` default keymap.

Pull Request - State: closed - Opened by DikieDick about 1 year ago

#41 - Custom context menu in the editor.

Pull Request - State: closed - Opened by DikieDick about 1 year ago

#40 - Added coq-syntax option to change tactics which show up for autocompletion

Pull Request - State: closed - Opened by driverag22 about 1 year ago - 2 comments

#39 - merge main into lineLongErrors branch

Pull Request - State: closed - Opened by driverag22 about 1 year ago

#38 - Client: Use the beginning of the sentence when executing commands.

Pull Request - State: closed - Opened by DikieDick about 1 year ago - 3 comments

#37 - Change background of code cells

Pull Request - State: closed - Opened by XyntaxCS about 1 year ago

#36 - Clean up repository and produced .vsix file

Pull Request - State: closed - Opened by DikieDick about 1 year ago

#35 - Added activeLineIndicator for focused code blocks

Pull Request - State: closed - Opened by driverag22 about 1 year ago - 1 comment

#34 - changed progressbar text color to match the button text color for better readability

Pull Request - State: closed - Opened by driverag22 about 1 year ago

#33 - fix: implication symbols

Pull Request - State: closed - Opened by jim-portegies about 1 year ago

#32 - Tactics definitions

Pull Request - State: closed - Opened by jim-portegies about 1 year ago

GitHub / impermeable/waterproof-vscode issues and pull requests