arch->mac

This commit is contained in:
Emanuele Slusarz
2026-05-23 23:34:28 +02:00
parent 66f053aba3
commit cec7009044
20 changed files with 1137 additions and 37 deletions
@@ -147,7 +147,6 @@
<tags>Minimized</tags>
<tags>General</tags>
<tags>active</tags>
<tags>noFocus</tags>
<children xsi:type="advanced:Placeholder" xmi:id="_W2XUaU4BEfGhKeZhXq-R_g" elementId="org.eclipse.ui.views.ProblemView" ref="_W2X9PU4BEfGhKeZhXq-R_g" closeable="true">
<tags>View</tags>
<tags>categoryTag:General</tags>
@@ -423,7 +422,6 @@
<tags>View</tags>
<tags>categoryTag:General</tags>
<tags>active</tags>
<tags>activeOnClose</tags>
<menus xmi:id="_MiitIFN9EfG5TeRFHrUtdQ" elementId="org.eclipse.pde.runtime.LogView">
<tags>ViewMenu</tags>
<tags>menuContribution:menu</tags>
@@ -437,7 +435,7 @@
</children>
<children xsi:type="menu:ToolBar" xmi:id="_W2X9g04BEfGhKeZhXq-R_g" elementId="org.eclipse.ui.workbench.file">
<tags>Draggable</tags>
<children xsi:type="menu:HandledToolItem" xmi:id="_JtS-UFN9EfG5TeRFHrUtdQ" elementId="print" visible="false" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/print_edit.svg" tooltip="Print" command="_W2a_dk4BEfGhKeZhXq-R_g"/>
<children xsi:type="menu:HandledToolItem" xmi:id="_ubcW0FbWEfGT0sIbrB63Dw" elementId="print" visible="false" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/print_edit.svg" tooltip="Print" command="_W2a_dk4BEfGhKeZhXq-R_g"/>
</children>
<children xsi:type="menu:ToolBar" xmi:id="_W2X9kE4BEfGhKeZhXq-R_g" elementId="group.edit" toBeRendered="false">
<tags>toolbarSeparator</tags>
@@ -445,8 +443,8 @@
</children>
<children xsi:type="menu:ToolBar" xmi:id="_W2X9kk4BEfGhKeZhXq-R_g" elementId="org.eclipse.ui.workbench.edit">
<tags>Draggable</tags>
<children xsi:type="menu:HandledToolItem" xmi:id="_JtTlYFN9EfG5TeRFHrUtdQ" elementId="undo" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/undo_edit.svg" tooltip="Undo" enabled="false" command="_W2aZYU4BEfGhKeZhXq-R_g"/>
<children xsi:type="menu:HandledToolItem" xmi:id="_JtTlYVN9EfG5TeRFHrUtdQ" elementId="redo" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/redo_edit.svg" tooltip="Redo" enabled="false" command="_W2aZ4U4BEfGhKeZhXq-R_g"/>
<children xsi:type="menu:HandledToolItem" xmi:id="_ubdk8FbWEfGT0sIbrB63Dw" elementId="undo" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/undo_edit.svg" tooltip="Undo" enabled="false" command="_W2aZYU4BEfGhKeZhXq-R_g"/>
<children xsi:type="menu:HandledToolItem" xmi:id="_ubdk8VbWEfGT0sIbrB63Dw" elementId="redo" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/redo_edit.svg" tooltip="Redo" enabled="false" command="_W2aZ4U4BEfGhKeZhXq-R_g"/>
</children>
<children xsi:type="menu:ToolBar" xmi:id="_W2X9lk4BEfGhKeZhXq-R_g" elementId="additions" toBeRendered="false">
<tags>toolbarSeparator</tags>
@@ -470,7 +468,7 @@
</children>
<children xsi:type="menu:ToolBar" xmi:id="_W2X9zU4BEfGhKeZhXq-R_g" elementId="org.eclipse.ui.workbench.navigate">
<tags>Draggable</tags>
<children xsi:type="menu:HandledToolItem" xmi:id="_JtUMcFN9EfG5TeRFHrUtdQ" elementId="org.eclipse.ui.window.pinEditor" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/pin_editor.svg" tooltip="Pin Editor" type="Check" command="_W2a_ME4BEfGhKeZhXq-R_g"/>
<children xsi:type="menu:HandledToolItem" xmi:id="_ubezEFbWEfGT0sIbrB63Dw" elementId="org.eclipse.ui.window.pinEditor" iconURI="platform:/plugin/org.eclipse.ui/icons/full/etool16/pin_editor.svg" tooltip="Pin Editor" enabled="false" type="Check" command="_W2a_ME4BEfGhKeZhXq-R_g"/>
</children>
<children xsi:type="menu:ToolBar" xmi:id="_J0a6AFN9EfG5TeRFHrUtdQ" elementId="org.eclipse.jdt.ui.CompilationUnitEditor" visible="false">
<tags>Draggable</tags>