From 4f6a629ba0791b749f3eefebed481749ad2fa4e1 Mon Sep 17 00:00:00 2001 From: Daniel Smith Date: Sat, 18 May 2019 18:34:18 -0400 Subject: Resize text images for preferred on-screen size --- resources/index.gui | 28 ++++++++++++++-------------- resources/numerals/0.png | Bin 951 -> 6682 bytes resources/numerals/1.png | Bin 7998 -> 5449 bytes resources/numerals/2.png | Bin 1042 -> 4781 bytes resources/numerals/3.png | Bin 1016 -> 5249 bytes resources/numerals/4.png | Bin 952 -> 5468 bytes resources/numerals/5.png | Bin 1050 -> 4942 bytes resources/numerals/6.png | Bin 1048 -> 5180 bytes resources/numerals/7.png | Bin 839 -> 3638 bytes resources/numerals/8.png | Bin 1215 -> 6407 bytes resources/numerals/9.png | Bin 1005 -> 4470 bytes resources/numerals/separator.png | Bin 1073 -> 2263 bytes resources/quantifier/0.png | Bin 506 -> 2567 bytes resources/quantifier/1.png | Bin 2008 -> 1571 bytes resources/quantifier/2.png | Bin 456 -> 2851 bytes resources/quantifier/3.png | Bin 418 -> 2536 bytes resources/quantifier/4.png | Bin 291 -> 2242 bytes resources/quantifier/5.png | Bin 391 -> 2524 bytes resources/quantifier/6.png | Bin 531 -> 3167 bytes resources/quantifier/7.png | Bin 215 -> 3231 bytes resources/quantifier/8.png | Bin 523 -> 3109 bytes resources/quantifier/9.png | Bin 537 -> 3118 bytes resources/quantifier/fri.png | Bin 3547 -> 3355 bytes resources/quantifier/mon.png | Bin 755 -> 3395 bytes resources/quantifier/sat.png | Bin 4152 -> 3726 bytes resources/quantifier/sun.png | Bin 4386 -> 3440 bytes resources/quantifier/thu.png | Bin 2905 -> 2628 bytes resources/quantifier/tue.png | Bin 3665 -> 2854 bytes resources/quantifier/wed.png | Bin 815 -> 3577 bytes 29 files changed, 14 insertions(+), 14 deletions(-) (limited to 'resources') diff --git a/resources/index.gui b/resources/index.gui index 1c898eb..eb63cb2 100644 --- a/resources/index.gui +++ b/resources/index.gui @@ -1,11 +1,11 @@ - - - + + + - + @@ -13,17 +13,17 @@ - - - + + + - + - - - - - - + + + + + + diff --git a/resources/numerals/0.png b/resources/numerals/0.png index a7d3615..4d70fa0 100644 Binary files a/resources/numerals/0.png and b/resources/numerals/0.png differ diff --git a/resources/numerals/1.png b/resources/numerals/1.png index ec61579..0c6b52c 100644 Binary files a/resources/numerals/1.png and b/resources/numerals/1.png differ diff --git a/resources/numerals/2.png b/resources/numerals/2.png index 4e92e90..691b80d 100644 Binary files a/resources/numerals/2.png and b/resources/numerals/2.png differ diff --git a/resources/numerals/3.png b/resources/numerals/3.png index c5a85cd..2b1c8a7 100644 Binary files a/resources/numerals/3.png and b/resources/numerals/3.png differ diff --git a/resources/numerals/4.png b/resources/numerals/4.png index f92bfe6..49a9c6d 100644 Binary files a/resources/numerals/4.png and b/resources/numerals/4.png differ diff --git a/resources/numerals/5.png b/resources/numerals/5.png index 393785c..ed327f1 100644 Binary files a/resources/numerals/5.png and b/resources/numerals/5.png differ diff --git a/resources/numerals/6.png b/resources/numerals/6.png index a32a749..86c0006 100644 Binary files a/resources/numerals/6.png and b/resources/numerals/6.png differ diff --git a/resources/numerals/7.png b/resources/numerals/7.png index f11b677..aae3052 100644 Binary files a/resources/numerals/7.png and b/resources/numerals/7.png differ diff --git a/resources/numerals/8.png b/resources/numerals/8.png index 252963a..0d8dfec 100644 Binary files a/resources/numerals/8.png and b/resources/numerals/8.png differ diff --git a/resources/numerals/9.png b/resources/numerals/9.png index ffd5c5a..1a1b0ac 100644 Binary files a/resources/numerals/9.png and b/resources/numerals/9.png differ diff --git a/resources/numerals/separator.png b/resources/numerals/separator.png index a612ddf..be281d5 100644 Binary files a/resources/numerals/separator.png and b/resources/numerals/separator.png differ diff --git a/resources/quantifier/0.png b/resources/quantifier/0.png index 519fa91..6baccc1 100644 Binary files a/resources/quantifier/0.png and b/resources/quantifier/0.png differ diff --git a/resources/quantifier/1.png b/resources/quantifier/1.png index cd072cf..b5e5ffa 100644 Binary files a/resources/quantifier/1.png and b/resources/quantifier/1.png differ diff --git a/resources/quantifier/2.png b/resources/quantifier/2.png index 0dac9e1..b89bc41 100644 Binary files a/resources/quantifier/2.png and b/resources/quantifier/2.png differ diff --git a/resources/quantifier/3.png b/resources/quantifier/3.png index 8440537..71716bc 100644 Binary files a/resources/quantifier/3.png and b/resources/quantifier/3.png differ diff --git a/resources/quantifier/4.png b/resources/quantifier/4.png index 0968921..e5f2580 100644 Binary files a/resources/quantifier/4.png and b/resources/quantifier/4.png differ diff --git a/resources/quantifier/5.png b/resources/quantifier/5.png index d0bfe7d..93e066b 100644 Binary files a/resources/quantifier/5.png and b/resources/quantifier/5.png differ diff --git a/resources/quantifier/6.png b/resources/quantifier/6.png index 413d6fe..7c359b5 100644 Binary files a/resources/quantifier/6.png and b/resources/quantifier/6.png differ diff --git a/resources/quantifier/7.png b/resources/quantifier/7.png index 7d0ec4d..88ed442 100644 Binary files a/resources/quantifier/7.png and b/resources/quantifier/7.png differ diff --git a/resources/quantifier/8.png b/resources/quantifier/8.png index afc1f42..18f5ab1 100644 Binary files a/resources/quantifier/8.png and b/resources/quantifier/8.png differ diff --git a/resources/quantifier/9.png b/resources/quantifier/9.png index d4f1aa1..ada47a9 100644 Binary files a/resources/quantifier/9.png and b/resources/quantifier/9.png differ diff --git a/resources/quantifier/fri.png b/resources/quantifier/fri.png index 72747ac..2fb32a3 100644 Binary files a/resources/quantifier/fri.png and b/resources/quantifier/fri.png differ diff --git a/resources/quantifier/mon.png b/resources/quantifier/mon.png index c86e423..35efabc 100644 Binary files a/resources/quantifier/mon.png and b/resources/quantifier/mon.png differ diff --git a/resources/quantifier/sat.png b/resources/quantifier/sat.png index 870d692..568bd84 100644 Binary files a/resources/quantifier/sat.png and b/resources/quantifier/sat.png differ diff --git a/resources/quantifier/sun.png b/resources/quantifier/sun.png index 7981730..24f3b1c 100644 Binary files a/resources/quantifier/sun.png and b/resources/quantifier/sun.png differ diff --git a/resources/quantifier/thu.png b/resources/quantifier/thu.png index 32bc6be..7816d07 100644 Binary files a/resources/quantifier/thu.png and b/resources/quantifier/thu.png differ diff --git a/resources/quantifier/tue.png b/resources/quantifier/tue.png index f527d0f..bde6f7c 100644 Binary files a/resources/quantifier/tue.png and b/resources/quantifier/tue.png differ diff --git a/resources/quantifier/wed.png b/resources/quantifier/wed.png index 2860182..4d89518 100644 Binary files a/resources/quantifier/wed.png and b/resources/quantifier/wed.png differ -- cgit v1.2.3