diff options
| author | Po Lu | 2024-04-11 10:15:25 +0800 |
|---|---|---|
| committer | Po Lu | 2024-04-11 10:15:25 +0800 |
| commit | b9acfd7c2b9d1fa5c49e7bd9f78a040f7485b29b (patch) | |
| tree | fccf2c69faf9d9374623d5b582e6f2b409d4740c /java/org | |
| parent | 7720c614afcf2b657c1edd1901cdc688e372a53c (diff) | |
| download | emacs-b9acfd7c2b9d1fa5c49e7bd9f78a040f7485b29b.tar.gz emacs-b9acfd7c2b9d1fa5c49e7bd9f78a040f7485b29b.zip | |
Optimize R8 configuration
* java/org/gnu/emacs/EmacsWindowManager.java (WindowConsumer):
Mark as package-local.
* java/proguard.conf: List only symbols that must be preserved,
enabling R8 to optimize the remainder.
Diffstat (limited to 'java/org')
| -rw-r--r-- | java/org/gnu/emacs/EmacsWindowManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/org/gnu/emacs/EmacsWindowManager.java b/java/org/gnu/emacs/EmacsWindowManager.java index 22629cad329..e41b4e068a7 100644 --- a/java/org/gnu/emacs/EmacsWindowManager.java +++ b/java/org/gnu/emacs/EmacsWindowManager.java | |||
| @@ -84,7 +84,7 @@ public final class EmacsWindowManager | |||
| 84 | MANAGER = new EmacsWindowManager (); | 84 | MANAGER = new EmacsWindowManager (); |
| 85 | }; | 85 | }; |
| 86 | 86 | ||
| 87 | public interface WindowConsumer | 87 | interface WindowConsumer |
| 88 | { | 88 | { |
| 89 | public void attachWindow (EmacsWindow window); | 89 | public void attachWindow (EmacsWindow window); |
| 90 | public EmacsWindow getAttachedWindow (); | 90 | public EmacsWindow getAttachedWindow (); |