[paparazzi-commits] [paparazzi/paparazzi] ce9394: add targets to body_to_imu settings

[GitHub]

  Branch: refs/heads/settings_target
  Home:   https://github.com/paparazzi/paparazzi
  Commit: ce93943df93edb95bcf5a3877faa2ce4a9e43d41
      
https://github.com/paparazzi/paparazzi/commit/ce93943df93edb95bcf5a3877faa2ce4a9e43d41
  Author: Gautier Hattenberger <address@hidden>
  Date:   2015-04-11 (Sat, 11 Apr 2015)

  Changed paths:
    M conf/settings/estimation/body_to_imu.xml

  Log Message:
  -----------
  add targets to body_to_imu settings


  Commit: eb263668296883460e7cbbff016406e067952be3
      
https://github.com/paparazzi/paparazzi/commit/eb263668296883460e7cbbff016406e067952be3
  Author: Gautier Hattenberger <address@hidden>
  Date:   2015-04-11 (Sat, 11 Apr 2015)

  Changed paths:
    M sw/lib/ocaml/gtk_tools.ml
    M sw/lib/ocaml/gtk_tools.mli
    M sw/supervision/pc_aircraft.ml

  Log Message:
  -----------
  [settings] uncheck settings if not compatible with target

I wanted to make the line unsensitive, but it doesn't seems to be
possible. Either all the lines or nothing. As a fallback, the settings
is unselected. It is not perfect (some stuff might be missed, you can
check it back, ...) and the settings are removed at generation time
anyway.
Not sure it can be done better unless someone finds the way to control
the list element sensitivity one by one.


Compare: 
https://github.com/paparazzi/paparazzi/compare/9215be7803c1...eb2636682968