Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-09 22:49:53 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

[settings] change settings notebook to scrollable for many tabs on small screen (#2065)

Browse Source
This commit is contained in:
Michael Sierra
2017-05-17 11:22:33 -07:00
committed by Felix Ruess
parent 124fa3267d
commit a50be94dbd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/page_settings.ml
+1 -1
View File
@@ -307,7 +307,7 @@ let rec build_settings = fun do_change ac_id i flat_list keys xml_settings packi
incr i)
xml_settings
| "dl_settings" ->
let n = GPack.notebook ~packing () in
let n = GPack.notebook ~packing ~scrollable:true () in
List.iter (fun dl_settings ->
let text = ExtXml.attrib dl_settings "name" in