Skip to content
Snippets Groups Projects
Commit d329832e authored by Loïc Correnson's avatar Loïc Correnson
Browse files

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

[ivette] removed sidebar sandboxing

See merge request frama-c/frama-c!4404
parents 413e162b f4485569
No related branches found
No related tags found
No related merge requests found
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
/* ************************************************************************ */
/* */
/* 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 { DEVEL } from 'dome';
import { Item, Section } from "dome/frame/sidebars";
import * as Ivette from 'ivette';
import file from './icons/file.png';
import folder from './icons/folder.png';
/* -------------------------------------------------------------------------- */
/* --- Mocking --- */
/* -------------------------------------------------------------------------- */
if (DEVEL) {
Ivette.registerSidebar({
id: 'sandbox.sidebar.a',
label: 'SanA',
title: 'Sandbox Title A',
iconPath: folder,
children:
<>
<Section label='Section A.1'>
<Item label='Item A.1.1' />
<Item label='Item A.1.2' />
<Item label='Item A.1.3' />
<Item label='Item A.1.4' />
</Section>
<Section label='Section A.2'>
<Item label='Item A.2.1' />
<Item label='Item A.2.2' />
<Item label='Item A.2.3' />
<Item label='Item A.2.4' />
</Section>
</>
});
Ivette.registerSidebar({
id: 'sandbox.sidebar.b',
label: 'SanB',
title: 'Sandbox Title B',
children:
<>
<Section label='Section B.1'>
<Item label='Item B.1.1' />
<Item label='Item B.1.2' />
<Item label='Item B.1.3' />
<Item label='Item B.1.4' />
</Section>
<Section label='Section B.2'>
<Item label='Item B.2.1' />
<Item label='Item B.2.2' />
<Item label='Item B.2.3' />
<Item label='Item B.2.4' />
</Section>
</>
});
Ivette.registerSidebar({
id: 'sandbox.sidebar.c',
label: 'SanC',
title: 'Sandbox Title C',
children:
<>
<Section label='Section C.1'>
<Item label='Item C.1.1' />
<Item label='Item C.1.2' />
<Item label='Item C.1.3' />
<Item label='Item C.1.4' />
</Section>
<Section label='Section C.2'>
<Item label='Item C.2.1' />
<Item label='Item C.2.2' />
<Item label='Item C.2.3' />
<Item label='Item C.2.4' />
</Section>
</>
});
Ivette.registerSidebar({
id: 'sandbox.sidebar.d',
label: 'SanD',
iconPath: file,
title: 'Sandbox Title D',
children:
<>
<Section label='Section D.1'>
<Item label='Item D.1.1' />
<Item label='Item D.1.2' />
<Item label='Item D.1.3' />
<Item label='Item D.1.4' />
</Section>
<Section label='Section D.2'>
<Item label='Item D.2.1' />
<Item label='Item D.2.2' />
<Item label='Item D.2.3' />
<Item label='Item D.2.4' />
</Section>
</>
});
}
/* -------------------------------------------------------------------------- */
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment