> On Jul 23, 2017, at 7:45 AM, Dirk Hohndel <[email protected]> wrote: > > >> On Jul 23, 2017, at 7:14 AM, Joakim Bygdell <[email protected]> wrote: >> Look at my latest PR, the checkboxes are gone. > > pulling it right now... let's see how I like the other extreme... > (I was leaning more towards "all check boxes" than "all switches", but I > haven't tried it, yet)
Yeah, this does look a little odd - but I only tried on the desktop. Building an APK now which I will push to the server so everyone can try. /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
