Names of tools in the palette are displayed on two lines

[jessymallet]

From ReactFlow, the palette is not displayed correctly. Indeed, tools name are displayed on two lines because the size of the palette is fixed and too small.
From Sprotty, the palette evolved according to the longest tool name.

• I have checked that this bug has not yet been reported by someone else
• I have checked that this bug appears on Chrome
• I have specified the version : 2023.10.1
• I have specified my environment : Window 11

Screenshots

Steps to reproduce

Display palette with long tool name

Expected behavior

Palette should display tool name on one line

Actual behavior

Palette size is fixed
...