Well I'm at home as it's past 11pm. What happens when you try it on Ubuntu (in 8.0 DP 7)?
On Wed, Oct 21, 2015 at 10:02 PM Richard Gaskin <[email protected]> wrote: > Ali Lloyd wrote: > > > On Wed, Oct 21, 2015 at 8:21 PM Richard Gaskin wrote: > >> Mark Waddingham wrote: > >> > > >> > Which is precisely why you can configure the size of the tab > >> > icons... > >> > >> How? > > > > Cog icon top right -> Header / Footer Size -> Large > > What happens when you try that on Ubuntu? > > -- > Richard Gaskin > Fourth World Systems > Software Design and Development for the Desktop, Mobile, and the Web > ____________________________________________________________________ > [email protected] http://www.FourthWorld.com > > > _______________________________________________ > use-livecode mailing list > [email protected] > Please visit this url to subscribe, unsubscribe and manage your > subscription preferences: > http://lists.runrev.com/mailman/listinfo/use-livecode > _______________________________________________ use-livecode mailing list [email protected] Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode
