Änderungen
Summary
- prevent editor from reading empty buffer (commit: abee3ef) (details)
![]() | de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/BufferManager.java (diff) |
![]() | de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/BufferManager.java (diff) |