[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 6ebd7e: [cockpit] settings: wi
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 6ebd7e: [cockpit] settings: wider label for current value |
|
Date: |
Sun, 17 Aug 2014 08:40:11 -0700 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: 6ebd7e9790865c2c70722d16c4b12f2341d58a11
https://github.com/paparazzi/paparazzi/commit/6ebd7e9790865c2c70722d16c4b12f2341d58a11
Author: Felix Ruess <address@hidden>
Date: 2014-08-17 (Sun, 17 Aug 2014)
Changed paths:
M sw/ground_segment/cockpit/page_settings.ml
Log Message:
-----------
[cockpit] settings: wider label for current value
Commit: be952687e3aa8f14313485d8da070357733d7b59
https://github.com/paparazzi/paparazzi/commit/be952687e3aa8f14313485d8da070357733d7b59
Author: Felix Ruess <address@hidden>
Date: 2014-08-17 (Sun, 17 Aug 2014)
Changed paths:
M sw/ground_segment/cockpit/page_settings.ml
Log Message:
-----------
[settings] use a spin button for really large values
starting to solve #795
Compare:
https://github.com/paparazzi/paparazzi/compare/3b3b7a9e79ac...be952687e3aa