Skip to content

Commit f54ba47

Browse files
Using latest rascal RC74 with some bugfixes (#854)
* Using latest rascal with some bugfixes * Removed two overrides in TerminalIDEClient in favor of the default implementation in IDEServices * Using latest rascal with bugfix for apply edits --------- Co-authored-by: Rodin Aarssen <rodin.aarssen@swat.engineering>
1 parent d248254 commit f54ba47

File tree

2 files changed

+1
-11
lines changed

2 files changed

+1
-11
lines changed

rascal-lsp/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@
6464
<dependency>
6565
<groupId>org.rascalmpl</groupId>
6666
<artifactId>rascal</artifactId>
67-
<version>0.41.0-RC73</version>
67+
<version>0.41.0-RC75</version>
6868
</dependency>
6969
<!-- Rascal tests require JUnit 4 -->
7070
<dependency>

rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/TerminalIDEClient.java

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -148,16 +148,6 @@ public void unregisterLanguage(IConstructor language) {
148148
server.receiveUnregisterLanguage(LanguageParameter.fromRascalValue(language));
149149
}
150150

151-
@Override
152-
public void applyDocumentsEdits(IList edits) {
153-
server.applyDocumentEdits(new DocumentEditsParameter(edits));
154-
}
155-
156-
@Override
157-
public void applyFileSystemEdits(IList edits) {
158-
applyDocumentsEdits(edits);
159-
}
160-
161151
@Override
162152
public void jobStart(String name, int workShare, int totalWork) {
163153
monitor.jobStart(name, workShare, totalWork);

0 commit comments

Comments
 (0)