[paparazzi-commits] [paparazzi/paparazzi] ce1988: [supervision] Add settings selector. (#2959)

[Fabien-B]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: ce19885a1e994fe41f9b1f2b3be9c71bf8f1141d
      
https://github.com/paparazzi/paparazzi/commit/ce19885a1e994fe41f9b1f2b3be9c71bf8f1141d
  Author: Fabien-B <fabien.bonneval@gmail.com>
  Date:   2022-12-16 (Fri, 16 Dec 2022)

  Changed paths:
    M sw/supervision/python/Makefile
    A sw/supervision/python/conf_settings_widget.py
    M sw/supervision/python/conf_widget.py
    M sw/supervision/python/configuration_panel.py
    M sw/supervision/python/utils.py

  Log Message:
  -----------
  [supervision] Add settings selector. (#2959)