Various problems with the board selector

### Describe the problem

I am encountering multiple problems with the board selector menu on the Arduino IDE toolbar:

Every time I select a board in either the drop-down or the menu, the settings do not carry over, e.g refresh is not reliable. 

More often than not, the entire settings in the menu are grey-out. Only repeat clicking in the window, re-opening the menu activates previously inaccessible menu settings. 

You select a board in drop down menu / port selector, press safe. Yet the entry in the main menu does not change and vice versa.

### To reproduce

Reproduction instructions not provided.

### Expected behavior

Board selector is fully functional.

### Arduino IDE version

Version: 2.3.5-nightly-20241212 

### Operating system

macOS

### Operating system version

Sequoia 

### Issue checklist

- [x] I searched for previous requests in [the issue tracker](https://.com/arduino/arduino-ide/issues?q=)
- [x] I verified the feature was still missing when using the latest [nightly build](https://www.arduino.cc/en/software#nightly-builds)
- [x] My request contains all necessary details

Description

Describe the problem

To reproduce

Expected behavior

Arduino IDE version

Operating system

Operating system version

Issue checklist