hexedtech/codemp-intellij
3
0
Fork 0
mirror of https://github.com/hexedtech/codemp-intellij.git synced 2024-11-21 22:54:48 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: logging now actually works

Browse source
This commit is contained in:
zaaarf 2023-11-17 00:03:26 +01:00
parent 9ff8de0df4
commit 9e16c21454
No known key found for this signature in database
GPG key ID: 82240E075E31FA4C
3 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
build.gradle
View file

@ -16,7 +16,9 @@ repositories {
} }
dependencies { dependencies {
implementation "com.github.adamheinrich:native-utils:master-SNAPSHOT" implementation 'com.github.adamheinrich:native-utils:master-SNAPSHOT'
implementation 'org.slf4j:slf4j-api:2.0.9'
implementation 'ch.qos.logback:logback-classic:1.4.6'
} }
// Configure Gradle IntelliJ Plugin // Configure Gradle IntelliJ Plugin
@ -72,4 +74,4 @@ tasks.register('cargoClean', Exec) {
dependsOn deleteGeneratedNativeInterface dependsOn deleteGeneratedNativeInterface
} }
clean.dependsOn cargoClean clean.dependsOn cargoClean

3
src/main/java/com/codemp/intellij/CodeMP.java
View file

@ -20,8 +20,9 @@ public class CodeMP {
} catch(IOException e) { } catch(IOException e) {
throw new RuntimeException(e); throw new RuntimeException(e);
} finally { } finally {
LOGGER.info("Loaded CodeMP library!");
loadedLibrary = false; loadedLibrary = false;
} }
} }
} }
} }

1
src/main/java/com/codemp/intellij/actions/buffer/BufferAttachAction.java
View file

@ -41,6 +41,7 @@ public class BufferAttachAction extends AnAction {
ApplicationManager.getApplication().runWriteAction(() -> { ApplicationManager.getApplication().runWriteAction(() -> {
CodeMP.LOGGER.debug("Received text change {} from offset {} to {}!\n", CodeMP.LOGGER.debug("Received text change {} from offset {} to {}!\n",
event.getContent(), event.getStart(), event.getEnd()); event.getContent(), event.getStart(), event.getEnd());
CodeMP.LOGGER.info("is writable: {}", document.isWritable());
document.replaceString( //TODO this doesn't work document.replaceString( //TODO this doesn't work
(int) event.getStart(), (int) event.getStart(),
(int) event.getEnd(), (int) event.getEnd(),