[PATCH] use default font size on Android

[Sebastian Kügler]

From: Sebastian Kügler <sebas at kde.org>

This solves the root problem of most of the dpi-depdent sizing in the
mobile Android version.

When setting a custom font size, we circumvent Android's defaults, which
means that we end up setting the font size further down the road to get
readable fonts.

I suppose this was set in order to make the QWidget-based user interface
"work" on Android. Hard-coding a font size at this central point brings
more headache than needed, one could instead consider adding an #ifdef
Q_OS_ANDROID in main window.

Signed-off-by: Sebastian Kügler <sebas at kde.org>
---
 subsurface-core/android.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subsurface-core/android.cpp b/subsurface-core/android.cpp
index 3e14bec..4b5877a 100644
--- a/subsurface-core/android.cpp
+++ b/subsurface-core/android.cpp
@@ -19,7 +19,7 @@ extern "C" {
 
 const char android_system_divelist_default_font[] = "Roboto";
 const char *system_divelist_default_font = 
android_system_divelist_default_font;
-double system_divelist_default_font_size = 8.0;
+double system_divelist_default_font_size = -1;
 
 int get_usb_fd(uint16_t idVendor, uint16_t idProduct);
 void subsurface_OS_pref_setup(void)
-- 
2.6.2