[paparazzi-commits] [paparazzi/paparazzi] 3fb33e: [ground_segment] different icons for the different...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 3fb33e8f841cb2cc0fd378148bf7e4d49c69fba8
      
https://github.com/paparazzi/paparazzi/commit/3fb33e8f841cb2cc0fd378148bf7e4d49c69fba8
  Author: karlito139 <address@hidden>
  Date:   2014-08-06 (Wed, 06 Aug 2014)

  Changed paths:
    A data/pictures/penguin_icon_gcs.png
    A data/pictures/penguin_icon_msg.png
    A data/pictures/penguin_icon_rep.png
    A data/pictures/penguin_icon_vid.png
    A data/pictures/penguin_logo_gcs.svg
    A data/pictures/penguin_logo_msg.svg
    A data/pictures/penguin_logo_rep.svg
    A data/pictures/penguin_logo_vid.svg
    M sw/ground_segment/cockpit/gcs.ml
    M sw/ground_segment/tmtc/messages.ml
    M sw/ground_segment/tmtc/video_synchronizer.c
    M sw/lib/ocaml/env.ml
    M sw/lib/ocaml/env.mli
    M sw/logalizer/play.ml

  Log Message:
  -----------
  [ground_segment] different icons for the different applications of paparazzi.

This should prevent the clicking on every icon and parsing through all the 
windows when we are searching for the messages.
closes #787