Tag: Input Method
Found 1 extensions tagged with "Input Method".
Input Method related extensions
-
Generic Input Method 0.0.12 VSIX File for VS Code New!
A generic input method which is suitable for YaTeX-like image completion for LaTeX or Unicode Symbol input for theorem provers such as Lean or Agda. ...