xtext编辑器如何将乳胶符号\rightarrow
翻译(例如)->
?Xtext,将ascii字符转换为数学符号
0
A
回答
1
看一看AUTOEDIT
public class MyDslDefaultAutoEditStrategyProvider extends DefaultAutoEditStrategyProvider {
@Inject
protected Provider<ShortCutEditStrategy> shortCut;
@Override
protected void configureStringLiteral(IEditStrategyAcceptor acceptor) {
acceptor.accept(shortCut.get().configure("->", "\\rightarrow"), IDocument.DEFAULT_CONTENT_TYPE);
}
}
的不错的功能和不要忘了结合
override Class<? extends AbstractEditStrategyProvider> bindAbstractEditStrategyProvider() {
MyDslDefaultAutoEditStrategyProvider
}
+0
我刚用Unicode代码字符替换了“\\ rightarrow”:-) – Johan
0
使用JavaScript
很容易。这个简单的脚本应该有所帮助:
replaceText('->', '\rightarrow');
var replaceText = function (search, replaceWith) {
var area = document.getElementById("area");
var getCount = function (str, search) {
return str.split(search).length - 1;
};
if (area.value.indexOf(search) >= 0) {
var start = area.selectionStart;
var end = area.selectionEnd;
var textBefore = area.value.substr(0, end);
var lengthDiff = (replaceWith.length - search.length) * getCount(textBefore, search);
area.value = area.value.replace(search, replaceWith);
area.selectionStart = start + lengthDiff;
area.selectionEnd = end + lengthDiff;
}
};
此全文可以轻松地适应您的使用 - 这里有一个完整的例子。
<textarea id="area"></textarea>
<script>
function keyDownTextField() {
replaceText('->', '\u2192');
}
var replaceText = function (search, replaceWith) {
var area = document.getElementById("area");
var getCount = function (str, search) {
return str.split(search).length - 1;
};
if (area.value.indexOf(search) >= 0) {
var start = area.selectionStart;
var end = area.selectionEnd;
var textBefore = area.value.substr(0, end);
var lengthDiff = (replaceWith.length - search.length) * getCount(textBefore, search);
area.value = area.value.replace(search, replaceWith);
area.selectionStart = start + lengthDiff;
area.selectionEnd = end + lengthDiff;
}
};
document.addEventListener("keydown", keyDownTextField, false);
</script>
相关问题
- 1. 将字符串转换为字符ascii
- 2. 将字符转换为ASCII字符
- 3. x86将ASCII字符转换为数字
- 4. Bash:将非ASCII字符转换为ASCII
- 5. 将数值转换为ASCII字符?
- 6. 将字符串转换为ascii和ascii为字符串
- 7. Python将ASCII字符转换为字节
- 8. 将字符串转换为ASCII和ASCII字符串
- 9. 将ASCII字符转换为x11键码
- 10. 将Ascii字符串转换为位流
- 11. python将未知字符转换为ascii
- 12. 将字符串转换为ASCII值
- 13. 将字符转换为ASCII的Powershell
- 14. 将字符串转换为ASCII
- 15. C++ ::将ASCII值转换为字符串
- 16. 在JavaScript中将字符转换为ASCII
- 17. 将字符串转换为ASCII值python
- 18. 将ASCII转换为.NET中的字符
- 19. 将字符串转换为ASCII码
- 20. Rails - 将ascii转换为字符
- 21. 将ASCII码转换为字符值
- 22. 将字符串转换为ASCII码
- 23. 将ascii值转换为字符
- 24. 将Unicode字符转换为扩展ASCII
- 25. 将Unicode字符串转换为ASCII
- 26. 将字符串转换为ASCII值
- 27. 将ASCII字符转换为十六进制转义字符串
- 28. C将无符号字符转换为无符号字符:4
- 29. 将无符号字符转换为LPCSTR
- 30. 将JavaScript符号转换为字符串?
这是基于Eclipse的Xtext吗? –
是的,日食Xtext – Johan