mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
added element manipulator for rest line (as injection host for doctest language)
This commit is contained in:
@@ -19,6 +19,9 @@
|
||||
|
||||
<additionalTextAttributes scheme="Default" file="colorSchemes/RestDefault.xml"/>
|
||||
<additionalTextAttributes scheme="Darcula" file="colorSchemes/RestDarcula.xml"/>
|
||||
|
||||
<lang.elementManipulator forClass="com.jetbrains.rest.psi.RestLine"
|
||||
implementationClass="com.jetbrains.rest.psi.RestLineManipulator"/>
|
||||
</extensions>
|
||||
|
||||
<extensions defaultExtensionNs="com.intellij.spellchecker">
|
||||
|
||||
@@ -0,0 +1,18 @@
|
||||
package com.jetbrains.rest.psi;
|
||||
|
||||
import com.intellij.openapi.util.TextRange;
|
||||
import com.intellij.psi.AbstractElementManipulator;
|
||||
|
||||
/**
|
||||
* User : ktisha
|
||||
*/
|
||||
public class RestLineManipulator extends AbstractElementManipulator<RestLine> {
|
||||
|
||||
public RestLine handleContentChange(RestLine element, TextRange range, String newContent) {
|
||||
final String oldText = element.getText();
|
||||
final String newText = oldText.substring(0, range.getStartOffset()) + newContent + oldText.substring(range.getEndOffset());
|
||||
element.updateText(newText);
|
||||
return element;
|
||||
}
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user