MiniABS 1.2: Galician interface, larger text and touch targets

- Translate the interface to Galician (tools/translate_gl.py), including
  Galician month abbreviations for dates, which Android 2.3 lacks
- Resize for the Galaxy Mini's 240x320 screen: larger text, rows, tabs and
  buttons; all sizes now live in res/values/dimens.xml
- Redraw play/pause/refresh icons for every density; slightly brighter
  secondary text colours

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

src/com/miniabs/Json.java

@@ -88,13 +88,13 @@ final class Json {
                 return JSONObject.NULL;
             default:
                 if (c == '-' || (c >= '0' && c <= '9')) return number(c);
-                throw new IOException("Unexpected reply from server");
+                throw new IOException("Resposta inesperada do servidor");
         }
     }
 
     private void expect(String rest) throws IOException {
         for (int i = 0; i < rest.length(); i++) {
-            if (read() != rest.charAt(i)) throw new IOException("Unexpected reply from server");
+            if (read() != rest.charAt(i)) throw new IOException("Resposta inesperada do servidor");
         }
     }
 
@@ -149,10 +149,10 @@ final class Json {
             return o;
         }
         while (true) {
-            if (c != '"') throw new IOException("Unexpected reply from server");
+            if (c != '"') throw new IOException("Resposta inesperada do servidor");
             String key = string(512);
             c = skipWs();
-            if (c != ':') throw new IOException("Unexpected reply from server");
+            if (c != ':') throw new IOException("Resposta inesperada do servidor");
             c = skipWs();
             if (skipKey(key)) {
                 skipValue(c);
@@ -173,7 +173,7 @@ final class Json {
                 depth--;
                 return o;
             }
-            throw new IOException("Unexpected reply from server");
+            throw new IOException("Resposta inesperada do servidor");
         }
     }
 
@@ -189,7 +189,7 @@ final class Json {
                 continue;
             }
             if (c == ']') return a;
-            throw new IOException("Unexpected reply from server");
+            throw new IOException("Resposta inesperada do servidor");
         }
     }
 
@@ -202,7 +202,7 @@ final class Json {
             int d = 1;
             while (d > 0) {
                 int ch = read();
-                if (ch == -1) throw new IOException("Reply was cut off");
+                if (ch == -1) throw new IOException("A resposta chegou incompleta");
                 if (ch == '"') string(0);
                 else if (ch == '{' || ch == '[') d++;
                 else if (ch == '}' || ch == ']') d--;
@@ -217,7 +217,7 @@ final class Json {
         boolean cut = false;
         while (true) {
             int c = read();
-            if (c == -1) throw new IOException("Reply was cut off");
+            if (c == -1) throw new IOException("A resposta chegou incompleta");
             if (c == '"') break;
             if (c == '\\') {
                 c = read();
@@ -231,14 +231,14 @@ final class Json {
                         int v = 0;
                         for (int i = 0; i < 4; i++) {
                             int d = Character.digit(read(), 16);
-                            if (d < 0) throw new IOException("Unexpected reply from server");
+                            if (d < 0) throw new IOException("Resposta inesperada do servidor");
                             v = v * 16 + d;
                         }
                         c = v;
                         break;
                     }
                     case -1:
-                        throw new IOException("Reply was cut off");
+                        throw new IOException("A resposta chegou incompleta");
                     default:
                         break; // \" \\ \/
                 }