diff --git a/ivette/src/frama-c/index.tsx b/ivette/src/frama-c/index.tsx index 78e35ff2850396a2fbe252310617fe5cdbc634e7..22e06943d7667cf2ee7e4d977e1163bb4396596d 100644 --- a/ivette/src/frama-c/index.tsx +++ b/ivette/src/frama-c/index.tsx @@ -39,8 +39,6 @@ import Properties from 'frama-c/kernel/Properties'; import Messages from 'frama-c/kernel/Messages'; import * as SideBar from '../sandbox/sidebar'; -import fileIco from '../sandbox/icons/file.png'; -import folderIco from '../sandbox/icons/folder.png'; import funcIco from '../sandbox/icons/function.png'; import 'frama-c/kernel/style.css'; @@ -160,27 +158,6 @@ Ivette.registerCategory({ iconPath: funcIco, children: <Globals /> }); -Ivette.registerCategory({ - id: "file", - label: "File", - iconPath: fileIco, - children: SideBar.secondaryMenu1 -}); -Ivette.registerCategory({ - id: "folder", - label: "Folder", - iconPath: folderIco, - children: SideBar.secondaryMenu2 -}); -Ivette.registerCategory({ - id: "lorem", - label: "lorem", - children: SideBar.secondaryMenu1 -}); -Ivette.registerCategory({ - id: "ipsum", - label: "ipsum", - children: SideBar.secondaryMenu2 -}); + /* --------------------------------------------------------------------------*/ diff --git a/ivette/src/sandbox/icons/component.png b/ivette/src/sandbox/icons/component.png deleted file mode 100644 index 5150b4a882af28af54d61c0c2c34638da8f35763..0000000000000000000000000000000000000000 Binary files a/ivette/src/sandbox/icons/component.png and /dev/null differ diff --git a/ivette/src/sandbox/sidebarMocking.tsx b/ivette/src/sandbox/sidebarMocking.tsx new file mode 100644 index 0000000000000000000000000000000000000000..5b678f03a68f113a963801196490cbe860c1326d --- /dev/null +++ b/ivette/src/sandbox/sidebarMocking.tsx @@ -0,0 +1,75 @@ +/* ************************************************************************ */ +/* */ +/* This file is part of Frama-C. */ +/* */ +/* Copyright (C) 2007-2023 */ +/* CEA (Commissariat à l'énergie atomique et aux énergies */ +/* alternatives) */ +/* */ +/* you can redistribute it and/or modify it under the terms of the GNU */ +/* Lesser General Public License as published by the Free Software */ +/* Foundation, version 2.1. */ +/* */ +/* It is distributed in the hope that it will be useful, */ +/* but WITHOUT ANY WARRANTY; without even the implied warranty of */ +/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */ +/* GNU Lesser General Public License for more details. */ +/* */ +/* See the GNU Lesser General Public License version 2.1 */ +/* for more details (enclosed in the file licenses/LGPLv2.1). */ +/* */ +/* ************************************************************************ */ + + +import React from 'react'; +import * as Ivette from 'ivette'; +import { registerSandbox } from 'ivette'; +import * as SideBar from './sidebar'; +import fileIco from './icons/file.png'; +import folderIco from './icons/folder.png'; + +/* -------------------------------------------------------------------------- */ +/* --- Mocking --- */ +/* -------------------------------------------------------------------------- */ + +export function SideBarMocking(): JSX.Element { + Ivette.registerCategory({ + id: "file", + label: "File", + iconPath: fileIco, + children: SideBar.secondaryMenu1 + }); + Ivette.registerCategory({ + id: "folder", + label: "Folder", + iconPath: folderIco, + children: SideBar.secondaryMenu2 + }); + Ivette.registerCategory({ + id: "lorem", + label: "lorem", + children: SideBar.secondaryMenu1 + }); + Ivette.registerCategory({ + id: "ipsum", + label: "ipsum", + children: SideBar.secondaryMenu2 + }); + + return ( + <SideBar.SideBar></SideBar.SideBar> + ); +} + +/* -------------------------------------------------------------------------- */ +/* --- Sandbox --- */ +/* -------------------------------------------------------------------------- */ + + +registerSandbox({ + id: 'sandbox.sidebar-mocking', + label: 'Sidebar Mocking', + children: <SideBarMocking />, + }); + +/* -------------------------------------------------------------------------- */