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 <ambassa...@fourthworld.com> 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 > ____________________________________________________________________ > ambassa...@fourthworld.com http://www.FourthWorld.com > > > _______________________________________________ > use-livecode mailing list > use-livecode@lists.runrev.com > Please visit this url to subscribe, unsubscribe and manage your > subscription preferences: > http://lists.runrev.com/mailman/listinfo/use-livecode > _______________________________________________ use-livecode mailing list use-livecode@lists.runrev.com Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode
