Cover Project explorer and Outline view with the UI font-size setting

extensions/modula2-project/src/browser/modula2-explorer-widget.ts

@@ -72,6 +72,7 @@ export class Modula2ExplorerWidget extends TreeWidget {
     this.title.label = 'Modula-2 Project';
     this.title.caption = 'Modula-2 project files';
     this.title.closable = false;
+    this.addClass('modula2-project-explorer');
     // Fill the view-container part: without an explicit height the
     // virtualized tree measures zero and renders nothing (a dock panel
     // would size it instead).

extensions/modula2-workbench/src/browser/modula2-ui-font-contribution.ts

@@ -39,6 +39,7 @@ export class Modula2UIFontContribution implements FrontendApplicationContributio
       '.theia-notifications-container, .theia-notification-center,',
       '.theia-notification-list-item, .theia-notification-message,',
       `.theia-message, .theia-toast { font-size: ${px}px !important; }`,
+      `.modula2-project-explorer .theia-TreeNode, .theia-outline-view .theia-TreeNode { font-size: ${px}px !important; }`,
     ].join('\n');
   }
 }

extensions/modula2-workbench/src/browser/modula2-ui-preferences.ts

@@ -10,7 +10,7 @@ export const modula2UIPreferenceSchema: PreferenceSchema = {
       default: 13,
       minimum: 10,
       maximum: 24,
-      description: 'Font size in pixels for IDE menus, context menus and message notifications.',
+      description: 'Font size in pixels for IDE menus, notifications, the Modula-2 Project explorer and the Outline view.',
     },
   },
 };