Fonts in menusand UI

[Tom Hatton]

Is there a way to change the font size in the menus, panel controls, etc. (i.e. main UI)?  

Want to check out archaeopteryx, git clone, start up, use given config file (aptx/aptx_configuration_files/_aptx_configuration_file), no tree loaded, just a fresh start: 

See painfully tiny fonts in menu and overall UI.  Try "Font Size", but no response to any selection (Super Tiny, Tiny, Small, ...), so assume this may be for displayed trees only.

Try under Options, Select Default Font, again no change seen, assume also for tree display?

archaeopteryx - 0.9915 test 160727

Running on Linux 2.6.32-504.16.2.el6.x86_64  with:

java version "1.8.0_102"

Java(TM) SE Runtime Environment (build 1.8.0_102-b14)

Java HotSpot(TM) 64-Bit Server VM (build 25.102-b14, mixed mode)

X11 display remoted to a Win box via Moba xterm  v9.0

Apologies if I am missing something obvious.

[Christian Zmasek]

Hi, Tom:

At this point, only the font sizes for the trees being displayed can be changed, not for the UI fonts.

-Christian-

---

From: Tom Hatton <hatt...@gmail.com>
To: Archaeopteryx <archae...@googlegroups.com>
Sent: Friday, July 29, 2016 2:04 PM
Subject: [Archaeopteryx] Fonts in menusand UI

--
You received this message because you are subscribed to the Google
Groups "Archaeopteryx" group.
To unsubscribe from this group, send email to
archaeoptery...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/archaeopteryx?hl=en
---
You received this message because you are subscribed to the Google Groups "Archaeopteryx" group.
To unsubscribe from this group and stop receiving emails from it, send an email to archaeoptery...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.