[paparazzi-commits] [paparazzi/paparazzi] 4caef3: [ocaml] comment a broken functionality in GCS edit...

[GitHub]

  Branch: refs/heads/v5.4
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 4caef3c1ae0de790bf0a29697e8922d3a7162ca2
      
https://github.com/paparazzi/paparazzi/commit/4caef3c1ae0de790bf0a29697e8922d3a7162ca2
  Author: Gautier Hattenberger <address@hidden>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M sw/lib/ocaml/mapFP.ml

  Log Message:
  -----------
  [ocaml] comment a broken functionality in GCS editor

The FP editor whill not try to update the WP names when changed in the
list. It was making a huge mess when the WP are reordered.

Any help to fix this are welcome


  Commit: 6bfe0d5bb942d165722598a203c6ceb6ed9206e3
      
https://github.com/paparazzi/paparazzi/commit/6bfe0d5bb942d165722598a203c6ceb6ed9206e3
  Author: Felix Ruess <address@hidden>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M sw/supervision/paparazzicenter.glade
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [paparazzi center] show version

Verison entry in help menu and in statusbar
Also:
- update urls
- use Gtk about dialog
- GWindow.message_dialog instead of GToolbox.message_box to get markup (url 
links) and selectable version
  - unfortunately it somehow doesn't display the pprz icon anymore


Compare: 
https://github.com/paparazzi/paparazzi/compare/1712b4138649...6bfe0d5bb942