All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning
- #202: Pressing Enter in Compute normal form input field opens the current file in another tab everytime
- #200: Fix year in CHANGELOG.md by @fredrik-bakke
- #199: Fix '\n' in panel and refinement output by @jiangsy
- #198: Address several warnings during build by @jiangsy
- #197: When reopening a folder, the panel created by Agda-mode is restored as an empty window #197
- #178: \n has started appearing in messages #178 by @jiangsy
- #158: C-c C-s and C-c C-a inserts \n instead of newlines by @jiangsy
- Deprecated the legacy ReScript Belt & JS modules
- CI: Speedup and reduce cache size by caching Agda artefacts instead of the whole build directory
- CI: Add Agda-2.6.3 to the mix
- #196: Improve the logic related to buffer's font size adjustment by @jiangsy
- #195: Remove all usage of deprecated api @bs.send.pipe by @jiangsy
- #191: Add more detailed splitting command description by @ChAoSUnItY
- #181: Use multi-chord shortcuts to match Emacs #181
- #169: Custom Agda buffer font size in the extension's setting by @vic0103520
- #47: Ctrl-X doesn't work as cut with agda-mode
- Upgrade ReScript to v11
- Deprecated "reason-promise" in favor of the new async/await syntax in ReScript
- CI overhaul: allow testings be be conducted on all major platforms (Windows, macOS, Ubuntu) and on multiple versions of Agda
- All keybindings of commands are the same as the ones in Emacs
- More testings for some of the commands
- Fetch the latest release of Agda Language Server from GitHub
- #172: "Connection Error: Unable to find Agda Language Server" Error downloading language server?
- #176: Many Unicode input sequences no longer work by @szumixie
- #177: Update
asset/keymap.jsby @szumixie
- Remove
rescript-nodejsfrom dependencies to fix the polyfill issue
- #126: Update language-server-mule to 0.2.4 (Fixes LSP) by @jul1u5
- Replaced @glennsl/bs-json with @glennsl/rescript-json-combinators
- #173:
C-c C-rresults in wrong character when applied to character outside of BMP - #175: Refining a goal having
\(instead ofλ) results in an Internal Parse Error - #125: Modal bindings are not shown in the goal context
- #171: Update
asset/keymap.jsto the latest - #159: Holes spanning multiple lines are not handled
- Restore highlighting after tokens have been moved around
- Some adjustments to the UI
- Update ReScript to v10.1.4
- Update language-server-mule to v0.3.0
- Remove unnecessary escape characters from regular expressions & string literal
- Better parsing of display info from Agda EmacsTop
- #167: Make the font size of Agda buffer the same as editors
- #166: Improve debug buffer: Not printing modules checked and verbosity now
- #161: Compact UI by @fredrik-bakke
- #163: Define auto indentation rules by @fredrik-bakke
- #151: Update language configuration by @fredrik-bakke
- #155: Re #79: Disable activating input method inside the search box by @vic0103520
- #154: Fix issue #76: Input method is reactivated after entering a backslash… by @vic0103520
- #153: Fix issue #117: Allow numeric input to complete ambiguous key bindings by @vic0103520
The version number v0.4.0 was bumped by accident. This version is identical to v0.3.13 (except the CHANGELOG and the metadata).
- #148: Fix issue #124 by @lawcho
- #123: Added logo by @Trebor-Huang
- #140: Refactor conditions to enable shortcuts @pimotte
- #121: add lagda.md highlight support by @choukh
- #118: Syntax highlighting for COMPILE and FOREIGN pragmas by @KislyjKisel
- #112: Don't store the agda path in the config by @ncfavier.
- #114: Fix typos of 'Shortcuts' in documentation by @pragma-.
- #115: [ fix ] "go to definition" on Windows by @mz71.
- #105: Case Split not working by @stepchowfun.
- #109: Remove "machine-overridable" scope from some settings by @kzvi.
- #88: Connection error when requesting the list of goals
- #94: Error: AbstractContextKeyService has been disposed
- #75: Connection Error: Internal Parse Error
- #81: Command '..' not found
- #82: Panel reloading on multiple commands
- #84: Can't type into the input prompts
- #74: Case split not working
- Save after triggering editor change event for applying highlighting
- Include environment variables when using cached ALS binary
- Allow user to suuply command-line options to both Agda & ALS
- #72: Feature request: Toggle display of irrelevant arguments
- #73: Prevent Linux distro other than Ubuntu from downloading prebuilt ALS
- #71: Prefer locally installed language server binary over bundled als
- #70: syntax highlighting not working for block comment {- -}
- Option for disabling the Unicode input method
- Make Semantic Highlighting (theme colors) the default
- Weird CSS spacing problem when rendering ALS stuff
- Syntax highlighting with theme colors!
- #67: Version changing doesn't seem to work
- #34: Links don't work in the error messages
- #23: Allow to change highlighting colors?
- #19: Highlight stuff using theme colors
- Check and download prebuilt Agda Language Server from GitHub when available
- #63: Agda debug does not show up
- #61:
C-u C-x =command not working
- Append instead of flush when displaying RunningInfo
- Remove dev mode and allow LSP connection via TCP in prod.
- #60: do not use ctrl+u with terminal focus by @cspollard.
- Better error message when Agda gets mad
- Reset connection after Agda went mad
- #59: After upgraded to 0.2.12, Agda-mode is refuse to load Agda files by C-c C-l
- #57: Option to add command-line flags to agda executable
- #58: Unicode input not triggered on backslash with modifiers
- #57: Option to add command-line flags to agda executable
- #56: No "hole" created when theorem contains
-- - #55:
\asteriskresults in '⁎' but no further options
- #52: Enhancement: Move cursor to first new hole after case split/refine
- #53: Stuck when the Agda path is wrong
- #50: Cannot auto focus on the input box
- View not refreshed when switching between loaded files
- Bracket matching and folding (LSP)
- Lets expressions indent when wrapped (LSP)
- Display connection status on the top right of the panel.
- Goal index prefix "?" went missing.
- Preliminarily support for Agda Language Server.
- #49: Case split ignores variables when hole has too few spaces
- #47: Ctrl-X doesn't work as cut with agda-mode
- #45: Cannot copy text from the Agda window
- #44: Goto definition won't work on Windows
- #42: ^C ^{space} chord not working
- #43: Load not working after upgrading to v0.2.4
- #39: Switch to different versions of Agda
- #7: Syntax highlighting not working after "wide" symbols in UTF-16
- #41: Split cases without type the variable name, namely just hit the enter key cannot work at the first hit
- #38: can one move the compilation tabs to the right?
- #30: Some input method related issue
- Refactor and fortify the unicode symbol input method
- Refactor and remove task queues
- Broken VS Code binding
- #33: Syntax highlighting broken on vscode
- #31: Prompt input box too small
- #26: need to reload agda files when navigating back
- #24: single line comment will cause other line turns to grey
- #22: Go to definition!
- QoL UI updates
- Prank for FLOLAC
- Nailed the performance problem of syntax highlighting
- Drastically improve the performance of syntax highlighting
- Improve the performance of highlighting
- Prevent cursor from moving when inside in a goal
- Improve the performance of highlighting
- Highlight stuff only after displaying goals
- Typo when parsing annotations regarding unsolvedmetas
- #21: Cut, copy, and paste not working on Windows and Linux
- Prank for FLOLAC
- #20: Failed to display computed normal forms
- Panel view overhaul
- #18: Spaces are not allowed in the path of Agda
- Unicode input method in the input prompt!
- #2: Unicode input not working in the input prompt
- #17: Panel cannot display anything
- #16: Case split fails in a pattern lambda
- Input method can be activated by hitting "" without having to load the Agda file first
- Input method can be deactivated by hitting "escape"
- Restore the cursor position after messing with the holes
- #15: No interaction in lagda.rst files
- #10: Casing on variable in lambda produces invalid program text
- #13: Arrow keys don't work after typing backslash
- Command for
agda-mode:restart.
- Improved command titles by @jonaprieto.
- Allow more types of files to be loaded by @jonaprieto.
- Weird behaviour after switching between tabs.
Can't really remember what happened before this, but thanks for the pull requests from @EdNutting.