diff options
| author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2022-04-02 08:22:42 +0700 |
|---|---|---|
| committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2022-04-02 08:24:04 +0700 |
| commit | 651e92a3285606537cfa47913adc17ce90bc22c8 (patch) | |
| tree | e0fb94bf0758d5f2f09437aee383713220b57232 /ajde | |
| parent | cefa5d6bfcb92ea66e6fccd68fa922dba914a420 (diff) | |
| download | aspectj-651e92a3285606537cfa47913adc17ce90bc22c8.tar.gz aspectj-651e92a3285606537cfa47913adc17ce90bc22c8.zip | |
Remove AspectJ Browser (ajbrowser) code and documentation
Closes #148.
TODO: Should more AJDE stuff be removed?
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'ajde')
| -rw-r--r-- | ajde/src/main/java/org/aspectj/ajde/IconRegistry.java | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ajde/src/main/java/org/aspectj/ajde/IconRegistry.java b/ajde/src/main/java/org/aspectj/ajde/IconRegistry.java index b36378b22..a866a0c96 100644 --- a/ajde/src/main/java/org/aspectj/ajde/IconRegistry.java +++ b/ajde/src/main/java/org/aspectj/ajde/IconRegistry.java @@ -39,9 +39,6 @@ public class IconRegistry extends AbstractIconRegistry { private final Icon BUILD = makeIcon("actions/build.gif"); private final Icon DEBUG = makeIcon("actions/debug.gif"); private final Icon EXECUTE = makeIcon("actions/execute.gif"); - private final Icon AJBROWSER = makeIcon("structure/advice.gif"); - private final Icon AJBROWSER_ENABLED = makeIcon("actions/browserEnabled.gif"); - private final Icon AJBROWSER_DISABLED = makeIcon("actions/browserDisabled.gif"); private final Icon STRUCTURE_VIEW = makeIcon("actions/structureView.gif"); private final Icon HIDE_ASSOCIATIONS = makeIcon("actions/hideAssociations.gif"); @@ -85,9 +82,6 @@ public class IconRegistry extends AbstractIconRegistry { public Icon getErrorIcon() { return ERROR; } public Icon getWarningIcon() { return WARNING; } public Icon getInfoIcon() { return INFO; } - public Icon getAJBrowserIcon() { return AJBROWSER; } - public Icon getAJBrowserEnabledIcon() { return AJBROWSER_ENABLED; } - public Icon getAJBrowserDisabledIcon() { return AJBROWSER_DISABLED; } public Icon getPopupIcon() { return POPUP; } public Icon getFilterIcon() { return FILTER; } public Icon getOrderIcon() { return ORDER; } |