allow tabpageids to have names which can be queried
and in the .ui builder set that name from the name of the label widget matching that tab which allows human understandable names to be used in looking up the pageids for a given tab page rather than fragile by_position so tab pages can be freely moved around without busting the code Change-Id: Ieaff1408b25545c561a0b28c51ec205af6e1400f
Showing
Please
register
or
sign in
to comment