From 115abde8c2a98abe17be46c3f375ea190f570bef Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 28 Feb 2024 14:44:27 +0100
Subject: [PATCH] Fix feature branding not showing in about window and make it
consistent
---
org.eventb.texteditor.feature/feature.xml | 4 ++--
org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 2 +-
org.eventb.texteditor.ui/META-INF/MANIFEST.MF | 4 ++--
org.eventb.texteditor.ui/about.ini | 3 ++-
org.eventb.texteditor.ui/build.properties | 1 +
org.eventb.texteditor.ui/plugin.properties | 4 ++--
org.eventb.texteditor.ui/plugin.xml | 2 +-
org.eventb.texttools/META-INF/MANIFEST.MF | 2 +-
8 files changed, 12 insertions(+), 10 deletions(-)
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 139b150..9d69853 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -1,9 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="org.eventb.texteditor.feature"
- label="Camille TextEditor"
+ label="Camille Text Editor"
version="3.5.2.qualifier"
- provider-name="Heinrich-Heine University Dusseldorf"
+ provider-name="HHU Düsseldorf STUPS Group"
plugin="org.eventb.texteditor.ui">
<description>
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 5c51fd5..d6d06f4 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -16,5 +16,5 @@ Export-Package: de.be4.eventb.core.parser,
de.be4.eventb.core.parser.parser,
de.hhu.stups.sablecc.patch,
org.eventb.texteditor.parsers
-Bundle-Vendor: Heinrich-Heine University Dusseldorf
+Bundle-Vendor: HHU Düsseldorf STUPS Group
Bundle-ActivationPolicy: lazy
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index e9f8081..33bb2f0 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
-Bundle-Name: Camille Texteditor
+Bundle-Name: Camille Text Editor
Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
Bundle-Version: 3.5.2.qualifier
Bundle-Localization: plugin
@@ -26,7 +26,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)",
org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)"
Bundle-ClassPath: .
-Bundle-Vendor: Heinrich-Heine University Dusseldorf
+Bundle-Vendor: HHU Düsseldorf STUPS Group
Export-Package: org.eventb.texteditor.ui,
org.eventb.texteditor.ui.build,
org.eventb.texteditor.ui.build.dom,
diff --git a/org.eventb.texteditor.ui/about.ini b/org.eventb.texteditor.ui/about.ini
index b0f2a9b..7eafc71 100644
--- a/org.eventb.texteditor.ui/about.ini
+++ b/org.eventb.texteditor.ui/about.ini
@@ -1 +1,2 @@
-featureImage=icons/camille32.gif
\ No newline at end of file
+aboutText=A text editor for the Rodin platform to edit Event-B models.
+featureImage=icons/camille32.gif
diff --git a/org.eventb.texteditor.ui/build.properties b/org.eventb.texteditor.ui/build.properties
index 0f86237..f894023 100644
--- a/org.eventb.texteditor.ui/build.properties
+++ b/org.eventb.texteditor.ui/build.properties
@@ -2,6 +2,7 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
+ about.ini,\
plugin.xml,\
plugin.properties,\
templates.xml,\
diff --git a/org.eventb.texteditor.ui/plugin.properties b/org.eventb.texteditor.ui/plugin.properties
index 6da1d5f..50f1987 100644
--- a/org.eventb.texteditor.ui/plugin.properties
+++ b/org.eventb.texteditor.ui/plugin.properties
@@ -4,7 +4,7 @@
#
# $Id$
-pluginName = Camille Texteditor
+pluginName = Camille Text Editor
_UI_CoreEditor_menu = &Core Editor
_UI_MachineEditor_menu = &Machine Editor
@@ -40,7 +40,7 @@ _UI_MachineModelWizard_description = Create a new Machine model
_UI_MachineEditorFilenameDefaultBase = Machine
_UI_MachineEditorFilenameExtensions = bum
-_UI_MachineEditor_label = Camille Texteditor
+_UI_MachineEditor_label = Camille Text Editor
_UI_Wizard_label = New
diff --git a/org.eventb.texteditor.ui/plugin.xml b/org.eventb.texteditor.ui/plugin.xml
index 8b34c6c..6ffaf1a 100644
--- a/org.eventb.texteditor.ui/plugin.xml
+++ b/org.eventb.texteditor.ui/plugin.xml
@@ -71,7 +71,7 @@
category="org.eventb.ui.preferences.eventB"
class="org.eventb.texteditor.ui.preferences.TextEditorPreferencePage"
id="org.eventb.texteditor.ui.preferences"
- name="Camille TextEditor">
+ name="Camille Text Editor">
</page>
<page
category="org.eventb.texteditor.ui.preferences"
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index ab059e4..b5388ea 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
org.eventb.emf.persistence;bundle-version="[3.6.0,4.0.0)",
org.eventb.texteditor.parsers;bundle-version="[3.5.2,3.6.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
-Bundle-Vendor: Heinrich-Heine University Dusseldorf
+Bundle-Vendor: HHU Düsseldorf STUPS Group
Bundle-ClassPath: .
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ActivationPolicy: lazy
--
GitLab