[jedit:plugin-central-submission] #1072 InputReplace 1.1.0
Eric Le Lay via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-central-submission/1072/c43f45ca8f2c2f46cea1051622ddc715dda2483e.plugin-central-submission@jedit.p.sourceforge.net> |
- **status**: open --> closed-accepted
- **Comment**:
released to plugin central.
Thanks!
---
** [plugin-central-submission:#1072] InputReplace 1.1.0**
**Status:** closed-accepted
**Group:** None
**Created:** Sat Sep 18, 2021 07:23 PM UTC by Jesse Pavel
**Last Updated:** Sat Sep 18, 2021 07:23 PM UTC
**Owner:** nobody
~~~
{{{ InputReplace 1.1.0
Source: Source code is in SVN with the tag inputreplace-1.1.0
Announcement: InputReplace 1.1.0
* Allow setting the minimum replacement length in options (this allows for one-character
strings to serve as replacement targets).
Requires Java 1.7
Requires jEdit 05.04.00.01
Short Description: A plugin that provides for input replacement (like abbreviations) using a table and functions.
Long Description: <html>
<head lang="en">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>InputReplace Plugin Description</title>
</head>
<body>
The InputReplace plugin provides a facility for expanding input character sequences
into replacement text, similar to abbreviations but without the requirement of
expanding a whole word at a time. It is useful for inserting characters not found
in your keyboard layout, such as turning "e'" into "é" or "c/" into "¢".
<p/>
The primary advantage over jEdit's built-in abbreviations is that these
replacements can be used within words, rather than just with whole words.
<p/>
This allows you to define, say, a single replacement (e' → é) and use it to
quickly enter both café and débutante. To enter café, you would type cafe' and
activate "Input Replace at Caret" after the whole word; to enter débutante, you
would type de', activate "Input Replace at Caret", and then finish typing the
word.
<p/>
One can also define custom BeanShell functions to perform more complicated replacements.
</body>
</html>
}}}
~~~
---
Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
--
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel