mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-06 03:50:02 +02:00
GP-1981 - Checkpoint - Conversions for FilterTextField, GenericHeader,
and OptionsGui; Moves some resources to Docking from Base; Moved the theme plugin so it is available to generic applications
This commit is contained in:
parent
703a7beb8d
commit
d588daaca6
17 changed files with 99 additions and 62 deletions
|
@ -0,0 +1,55 @@
|
|||
/* ###
|
||||
* IP: GHIDRA
|
||||
*
|
||||
* Licensed under the Apache License, Version 2.0 (the "License");
|
||||
* you may not use this file except in compliance with the License.
|
||||
* You may obtain a copy of the License at
|
||||
*
|
||||
* http://www.apache.org/licenses/LICENSE-2.0
|
||||
*
|
||||
* Unless required by applicable law or agreed to in writing, software
|
||||
* distributed under the License is distributed on an "AS IS" BASIS,
|
||||
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
* See the License for the specific language governing permissions and
|
||||
* limitations under the License.
|
||||
*/
|
||||
package ghidra.app.plugin.gui;
|
||||
|
||||
import docking.action.builder.ActionBuilder;
|
||||
import docking.theme.gui.ThemeDialog;
|
||||
import ghidra.app.plugin.PluginCategoryNames;
|
||||
import ghidra.framework.main.ApplicationLevelOnlyPlugin;
|
||||
import ghidra.framework.main.UtilityPluginPackage;
|
||||
import ghidra.framework.plugintool.*;
|
||||
import ghidra.framework.plugintool.util.PluginStatus;
|
||||
|
||||
//@formatter:off
|
||||
@PluginInfo(
|
||||
status = PluginStatus.RELEASED,
|
||||
packageName = UtilityPluginPackage.NAME,
|
||||
category = PluginCategoryNames.SUPPORT,
|
||||
shortDescription = "Manages themes for the Ghdira GUI",
|
||||
description = "Adds actions and options to manage Themes within Ghidra. " +
|
||||
"This plugin is available only in the Ghidra Project Window."
|
||||
)
|
||||
//@formatter:on
|
||||
public class ThemeManagerPlugin extends Plugin implements ApplicationLevelOnlyPlugin {
|
||||
|
||||
public ThemeManagerPlugin(PluginTool tool) {
|
||||
super(tool);
|
||||
}
|
||||
|
||||
@Override
|
||||
protected void init() {
|
||||
|
||||
new ActionBuilder("", getName()).menuPath("Edit", "Theme")
|
||||
.onAction(e -> showThemeProperties())
|
||||
.buildAndInstall(tool);
|
||||
|
||||
}
|
||||
|
||||
private void showThemeProperties() {
|
||||
ThemeDialog.editTheme();
|
||||
}
|
||||
|
||||
}
|
Loading…
Add table
Add a link
Reference in a new issue