https://github.com/jroesch/vscode-input-assist

Tree-based input assistance for unicode and more in Visual Studio Code
https://github.com/jroesch/vscode-input-assist

Last synced: 20 days ago
JSON representation

Tree-based input assistance for unicode and more in Visual Studio Code

• Host: GitHub
• URL: https://github.com/jroesch/vscode-input-assist
• Owner: jroesch
• License: apache-2.0
• Created: 2016-12-19T05:30:17.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2016-12-22T10:00:02.000Z (about 8 years ago)
• Last Synced: 2024-12-04T03:42:48.952Z (3 months ago)
• Language: TypeScript
• Size: 24.4 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# vscode-input-assist-lean

### Note: this is a temporary fork for use in the Lean language mode.

Tree-based input assistance for unicode and more in Visual Studio Code

## What is this package?

This package provides a flexible input assistance framework built on top of

Visual Studio Code's completion provider functionality. It works by loading JSON

tree-based mappings from textual patterns to strings.

For example, by loading a suitable mapping, a user could use the text \lambda

for inserting the glyph λ.

The "tree" behavior comes into play when there are choices between completions.

For example, a mapping might replace \rightarrow with → and \rightarrowtail with

↣. This package will provide a choice between inserting → and completing to ↣,

allowing the user to complete in a stepwise fashion.

## Status

Eventually this extension will allow the user to load various "input method"

files or configure existing ones. However, for the moment it comes

pre-configured with a port of the [Agda input

method](http://agda.readthedocs.io/en/latest/tools/emacs-mode.html#unicode-input)

which maps LaTeX style commands to unicode glyphs.