diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx index ff9a0cf6f093df79ac645025ffb177ffde0dac8e..54583eb3d7b4a03974ab6f85f9e258e53c8c67ff 100644 --- a/ivette/src/frama-c/kernel/ASTview.tsx +++ b/ivette/src/frama-c/kernel/ASTview.tsx @@ -29,7 +29,6 @@ import * as Utils from 'dome/data/arrays'; import * as States from 'frama-c/states'; import * as Settings from 'dome/data/settings'; import { IconButton } from 'dome/controls/buttons'; -import { Filler, Inset } from 'dome/frame/toolbars'; import * as Studia from 'frama-c/plugins/studia'; import * as Ast from 'frama-c/kernel/api/ast'; import { text } from 'frama-c/kernel/api/data'; @@ -739,14 +738,12 @@ export default function ASTview(): JSX.Element { return ( <> <TitleBar> - <Filler /> <IconButton icon={icon} onClick= {unFoldButtonClicked} title={title + ' all multi-line ACSL properties'} className="titlebar-thin-icon" /> - <Inset /> </TitleBar> <Component style={{ fontSize: `${fontSize}px` }} /> </> diff --git a/ivette/src/ivette/index.tsx b/ivette/src/ivette/index.tsx index df62fe3ffa9956bbcaa17e35994b828759ecbb81..9c42eb6ba5f70aa9272f17b1a07f7ce52c1d6d8a 100644 --- a/ivette/src/ivette/index.tsx +++ b/ivette/src/ivette/index.tsx @@ -33,6 +33,7 @@ import React from 'react'; import { DEVEL } from 'dome'; import { Label } from 'dome/controls/labels'; import { DefineElement } from 'dome/layout/dispatch'; +import { Inset } from 'dome/frame/toolbars'; import * as State from './state'; import * as Search from './search'; @@ -191,6 +192,7 @@ export function TitleBar(props: TitleBarProps): JSX.Element | null { title={title || context.title} /> {children} + <Inset /> </DefineElement> ); } diff --git a/ivette/src/renderer/Application.tsx b/ivette/src/renderer/Application.tsx index b5348cb9f56144783d8d2841bd4f61a64443aba4..490d1907229bcfcc0997bcbb35fdd63a919cbf47 100644 --- a/ivette/src/renderer/Application.tsx +++ b/ivette/src/renderer/Application.tsx @@ -49,8 +49,6 @@ import './style.css'; export default function Application(): JSX.Element { const [sidebar, flipSidebar] = Dome.useFlipSettings('frama-c.sidebar.unfold', true); - const [viewbar, flipViewbar] = - Dome.useFlipSettings('frama-c.viewbar.unfold', true); const ToolBar = State.useChildren(TOOLBAR); const StatusBar = State.useChildren(STATUSBAR); @@ -72,12 +70,6 @@ export default function Application(): JSX.Element { <IvettePrefs.ThemeSwitchTool /> <IvettePrefs.FontTools /> <Search.SearchField /> - <Toolbar.Button - icon="ITEMS.GRID" - title="Customize Main View" - selected={viewbar} - onClick={flipViewbar} - /> </Toolbar.ToolBar> <LSplit settings="frama-c.sidebar.split" unfold={sidebar}> <Sidebar.Panel />