mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-13 15:00:42 -08:00
Code Issues Projects Releases Wiki Activity

Remove leftover tasks from previous Emacs sessions on startup

Browse source 
* java/org/gnu/emacs/EmacsService.java (onCreate): Call
removeOldTasks.

* java/org/gnu/emacs/EmacsWindowManager.java (removeOldTasks):
New function.

* java/proguard.conf: Optimize optimizer configuration.
This commit is contained in:
Po Lu 2024-04-14 10:36:50 +08:00
parent 845246093f
commit 2823eae0b7
3 changed files with 66 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

12
java/org/gnu/emacs/EmacsService.java
View file

@ -234,6 +234,8 @@ public final class EmacsService extends Service
final double scaledDensity;
double tempScaledDensity;
super.onCreate ();
SERVICE = this;
handler = new Handler (Looper.getMainLooper ());
manager = getAssets ();
@ -247,9 +249,9 @@ public final class EmacsService extends Service
resolver = getContentResolver ();
mainThread = Thread.currentThread ();
/* If the density used to compute the text size is lesser than
160, there's likely a bug with display density computation.
Reset it to 160 in that case.
/* If the density used to compute the text size is smaller than 160,
there's likely a bug with display density computation. Reset it
to 160 in that case.
Note that Android uses 160 ``dpi'' as the density where 1 point
corresponds to 1 pixel, not 72 or 96 as used elsewhere. This
@ -262,6 +264,10 @@ public final class EmacsService extends Service
the nested function below. */
scaledDensity = tempScaledDensity;
/* Remove all tasks from previous Emacs sessions but the task
created by the system at startup. */
EmacsWindowManager.MANAGER.removeOldTasks (this);
try
{
/* Configure Emacs with the asset manager and other necessary