diff --git a/ivette/src/renderer/Globals.tsx b/ivette/src/renderer/Globals.tsx index 5d4e1cd82dfa070460a9c419f6aec0fe58d6ca61..edc8a40d566418f9a37dbee6f896187dbf07dd02 100644 --- a/ivette/src/renderer/Globals.tsx +++ b/ivette/src/renderer/Globals.tsx @@ -5,6 +5,7 @@ import React from 'react'; import { Section, Item } from 'dome/frame/sidebars'; import * as States from 'frama-c/states'; +import { alpha } from 'dome/data/compare'; import { functions, functionsData } from 'api/kernel/ast'; // -------------------------------------------------------------------------- @@ -15,7 +16,9 @@ export default () => { // Hooks const [selection, updateSelection] = States.useSelection(); - const fcts = States.useSyncArray(functions); + const fcts = States.useSyncArray(functions).sort( + (f, g) => alpha(f.name, g.name), + ); // Items const current: undefined | string = selection?.current?.function;