Merge branch 'feature/ivette/sandbox' into 'master'

[ivette] sandbox component

See merge request frama-c/frama-c!3348

ivette/src/ivette/index.tsx

@@ -30,11 +30,13 @@
  */
 
 import React from 'react';
+import { DEVEL } from 'dome';
 import { Label } from 'dome/controls/labels';
 import { DefineElement } from 'dome/layout/dispatch';
 import { GridItem, GridHbox, GridVbox } from 'dome/layout/grids';
 import * as Lab from 'ivette@lab';
 import * as Ext from 'ivette@ext';
+import Sandbox from './sandbox';
 
 /* --------------------------------------------------------------------------*/
 /* --- Items                                                              ---*/
@@ -224,4 +226,17 @@ export function registerStatusbar(status: ToolProps) {
   Ext.STATUSBAR.register(status);
 }
 
+/* --------------------------------------------------------------------------*/
+/* --- Sandbox                                                            ---*/
+/* --------------------------------------------------------------------------*/
+
+if (DEVEL) {
+  registerComponent({
+    id: 'ivette.sandbox',
+    label: 'Sandbox',
+    title: 'Ivette Sandbox Component (only in DEVEL mode)',
+    children: <Sandbox />,
+  });
+}
+
 // --------------------------------------------------------------------------

ivette/src/ivette/sandbox.tsx

+/* -------------------------------------------------------------------------- */
+/* --- Sandbox Ivette Component.                                          --- */
+/* --- Only appears in DEVEL mode.                                        --- */
+/* --- Please, keep it empty.                                             --- */
+/* -------------------------------------------------------------------------- */
+
+import React from 'react';
+import { Label } from 'dome/controls/labels';
+
+export default function Sandbox() {
+  return <Label>Hello World!</Label>;
+}