[paparazzi-commits] [paparazzi/paparazzi] 8833bb: [supervision] Adds documentation tab. (#2972)

[Fabien-B]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 8833bb4fc5c5bbedd18b9ad3957ce01bf38f770f
      
https://github.com/paparazzi/paparazzi/commit/8833bb4fc5c5bbedd18b9ad3957ce01bf38f770f
  Author: Fabien-B <fabien.bonneval@gmail.com>
  Date:   2023-02-07 (Tue, 07 Feb 2023)

  Changed paths:
    M sw/supervision/python/Makefile
    M sw/supervision/python/conf.py
    M sw/supervision/python/conf_settings_widget.py
    M sw/supervision/python/configuration_panel.py
    A sw/supervision/python/doc_panel.py
    M sw/supervision/python/generated/ui_app_settings.py
    M sw/supervision/python/generated/ui_build.py
    M sw/supervision/python/generated/ui_conf_header.py
    M sw/supervision/python/generated/ui_conf_item.py
    M sw/supervision/python/generated/ui_conf_settings.py
    M sw/supervision/python/generated/ui_configuration_panel.py
    M sw/supervision/python/generated/ui_console.py
    A sw/supervision/python/generated/ui_doc_viewer.py
    M sw/supervision/python/generated/ui_new_ac_dialog.py
    M sw/supervision/python/generated/ui_operation_panel.py
    M sw/supervision/python/generated/ui_program.py
    M sw/supervision/python/generated/ui_session.py
    A sw/supervision/python/generated/ui_supervision_window.py
    M sw/supervision/python/generated/ui_tools_list.py
    M sw/supervision/python/header_widget.py
    M sw/supervision/python/paparazzicenter.py
    M sw/supervision/python/session_widget.py
    R sw/supervision/python/ui/app_settings.ui
    R sw/supervision/python/ui/build.ui
    R sw/supervision/python/ui/conf_header.ui
    R sw/supervision/python/ui/conf_item.ui
    R sw/supervision/python/ui/conf_settings.ui
    R sw/supervision/python/ui/configuration_panel.ui
    R sw/supervision/python/ui/console.ui
    R sw/supervision/python/ui/new_ac_dialog.ui
    R sw/supervision/python/ui/operation_panel.ui
    R sw/supervision/python/ui/program.ui
    R sw/supervision/python/ui/session.ui
    R sw/supervision/python/ui/tools_list.ui
    A sw/supervision/python/ui/ui_app_settings.ui
    A sw/supervision/python/ui/ui_build.ui
    A sw/supervision/python/ui/ui_conf_header.ui
    A sw/supervision/python/ui/ui_conf_item.ui
    A sw/supervision/python/ui/ui_conf_settings.ui
    A sw/supervision/python/ui/ui_configuration_panel.ui
    A sw/supervision/python/ui/ui_console.ui
    A sw/supervision/python/ui/ui_doc_viewer.ui
    A sw/supervision/python/ui/ui_new_ac_dialog.ui
    A sw/supervision/python/ui/ui_operation_panel.ui
    A sw/supervision/python/ui/ui_program.ui
    A sw/supervision/python/ui/ui_session.ui
    A sw/supervision/python/ui/ui_supervision_window.ui
    A sw/supervision/python/ui/ui_tools_list.ui
    M sw/supervision/python/utils.py
    M sw/tools/generators/dump_modules_list.ml

  Log Message:
  -----------
  [supervision] Adds documentation tab. (#2972)

* [supervision] Adds documentation tab.

* [generator] add a target option to dump modules by target with load type

* [supervision] doc: handle modules type.

* [supervision] modules doc: add filter.

* [supervision] Use internet doc by default.

* [supervision] Move the header out of the configuration tab.

* [supervision] Add target label.

* [supervision] Gracefully handle Ctrl-C.

* [supervision] Add new session to combobox.

* Update sw/supervision/python/doc_panel.py

---------

Co-authored-by: Gautier Hattenberger <gautier.hattenberger@enac.fr>