yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-04 02:09:44 +02:00
Code Issues Releases Wiki Activity

Tweaks to SplashScreen

Browse source
This commit is contained in:
ghidragon 2025-07-30 14:46:33 -04:00
parent dbb9e7feee
commit 66421c88f9
1 changed files with 18 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

21
Ghidra/Framework/Docking/src/main/java/docking/framework/SplashScreen.java
View file

@ -4,9 +4,9 @@
* Licensed under the Apache License, Version 2.0 (the "License"); * Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License. * you may not use this file except in compliance with the License.
* You may obtain a copy of the License at * You may obtain a copy of the License at
* *
* http://www.apache.org/licenses/LICENSE-2.0 * http://www.apache.org/licenses/LICENSE-2.0
* *
* Unless required by applicable law or agreed to in writing, software * Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, * distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
@ -23,6 +23,8 @@ import javax.swing.*;
import javax.swing.border.BevelBorder; import javax.swing.border.BevelBorder;
import javax.swing.border.CompoundBorder; import javax.swing.border.CompoundBorder;
import org.apache.commons.lang3.StringUtils;
import docking.*; import docking.*;
import docking.widgets.label.GDLabel; import docking.widgets.label.GDLabel;
import generic.application.GenericApplicationLayout; import generic.application.GenericApplicationLayout;
@ -318,8 +320,20 @@ public class SplashScreen extends JWindow {
updateStatus(status); updateStatus(status);
} }
public static void clearStatus() {
updateSplashScreenStatus(null);
}
private static void updateStatus(String status) { private static void updateStatus(String status) {
Swing.runIfSwingOrRunLater(() -> statusLabel.setText(status)); // empty strings causes label to lose its height
String message = StringUtils.isBlank(status) ? " " : status;
Swing.runIfSwingOrRunLater(() -> {
statusLabel.setText(message);
Rectangle bounds = statusLabel.getBounds();
bounds.x = 0;
bounds.y = 0;
statusLabel.paintImmediately(bounds);
});
} }
private JPanel createMainPanel() { private JPanel createMainPanel() {
@ -415,4 +429,5 @@ public class SplashScreen extends JWindow {
} }
}).start(); }).start();
} }
} }