Removed micro jlabbrev plugin (moving to submodule)

This commit is contained in:
2025-01-22 16:55:01 +00:00
parent 92d3483ef9
commit 1e390807cb
4 changed files with 0 additions and 2648 deletions

View File

@@ -1,7 +0,0 @@
Copyright (c) 2020 Łukasz "MasFlam" Drukała
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

View File

@@ -1,24 +0,0 @@
![GitHub release (latest by date)](https://img.shields.io/github/v/release/MasFlam/jlabbrev)
# jlabbrev
The package `jlabbrev` adds all the tab-completions from
the Julia prompt that are LaTeX symbol names.
There are currently **`2496`** abbreviations on the list.
Refer to the documentation page
[Unicode Input](https://docs.julialang.org/en/v1/manual/unicode-input)
of Julia if you want to get the full list. If all goes well,
all non-emoji completions from there should be supported by the plugin.
# Features
Writing `\<abbrev>` and hitting `<tab>` will do one of the following:
* If `<abbrev>` is one of the supported abbreviations,
the whole sequence gets replaced with the corresponding symbol(s).
* If `<abbrev>` if a prefix of an abbreviation, autocompletion suggestion takes place
* Otherwise, the tab will be inserted
# Installation
Until the plugin gets onto
[the official plugin channel](https://github.com/micro-editor/plugin-channel),
the you can install it by `cd`ing into your `~/.config/micro/plug`
and `git clone`ing this repository.
If jlabbrev ever gets onto the official plugin channel, the way
to install it will be running `micro -plugin install jlabbrev`.

File diff suppressed because it is too large Load Diff

View File

@@ -1,19 +0,0 @@
[{
"Name": "jlabbrev",
"Description": "Julia backslash abbreviations in micro",
"Website": "https://github.com/MasFlam/jlabbrev",
"Tags": ["julia", "util"],
"Versions": [{
"Version": "1.0.0",
"Url": "https://github.com/MasFlam/jlabbrev/archive/v1.0.0.zip",
"Require": {
"micro": ">=2.0"
}
}, {
"Version": "1.0.1",
"Url": "https://github.com/MasFlam/jlabbrev/archive/v1.0.1.zip",
"Require": {
"micro": ">=2.0"
}
}]
}]