Refresh exploration fields in monitor

[klei22]

This pull request enhances the run_exploration_monitor.py tool by enabling dynamic discovery and refreshing of configuration fields from associated exploration YAML files. It introduces a new hotkey to refresh runs and fields, ensures that new or updated fields in the YAML are immediately reflected in the UI, and adds comprehensive tests to verify this behavior.

Key changes include:

Dynamic field discovery and refresh:

• Added the load_exploration_fields function to extract run-configuration field names from exploration YAML files, handling both flat and grouped syntaxes while excluding schema keys used for grouping.
• Modified the refresh_table method to detect and append new fields from both the exploration YAML and run configs, ensuring the table columns stay up-to-date without disrupting user preferences.

User interface and hotkeys:

• Introduced the R hotkey, allowing users to refresh runs and add new fields from the exploration YAML, with corresponding updates to the help text and hotkey documentation. [1] [2] [3]

Testing and reliability:

• Added new tests in tests/test_run_exploration_monitor.py to verify correct field extraction from exploration YAMLs and to ensure the UI updates as expected when new fields are introduced and the refresh hotkey is used. [1] [2]

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.