Various interface details

[zerline]

• Correct positioning and styling for each element

  • Title : more contrast
  • Visual widget on the right side
  • Visual widget should disappear when there is no visual to show
  • Properties as a nice and flexible table
  • Wider central bar with Run! button on the right
  • Adequate (flex) display for the arguments box

• Make explorer title reactive

• History as a dropdown and somehow related to the original naming

• History complete functionality : a shared _history object common to explorer and histbox?

• A placeholder for input controls: method input, args input ("Enter method name", "Enter arguments")

• Disable the arguments input when method forbids any of them

• Tooltips over some controls, for example the naming. With delay.

  • A tooltip for argsbox, with default values in it

• Activate Run! button with Enter or SHIFT-Enter.

• Same for explorable values (ie property values and output value)

• Run! button is too wide

• Error messages in red

• Output should receive focus

• Take care of the tabulation over the controls

• Foldable explorer

Thanks to @a-kohlhase for her informed and detailed advice.