diff options
| author | bjorn <bjorn@bringert.net> | 2008-11-05 16:47:52 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-11-05 16:47:52 +0000 |
| commit | 5f78c8fa677908383b0452bfef716092f10d16d1 (patch) | |
| tree | 719f8a9b3fee55917025fc9fff7aaf8712883b0b /src/server/gwt | |
| parent | 29ad828b9d906c1e31a9eb4cd14254a525c49be3 (diff) | |
Make fridge magnets look more like magnets.
Diffstat (limited to 'src/server/gwt')
| -rw-r--r-- | src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeApp.java | 4 | ||||
| -rw-r--r-- | src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css | 10 |
2 files changed, 13 insertions, 1 deletions
diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeApp.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeApp.java index c03fd4544..370b918ea 100644 --- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeApp.java +++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeApp.java @@ -102,7 +102,9 @@ public class FridgeApp extends TranslateApp { String inputLanguage = pgf.getInputLanguage(); clear(); for (String word : text.split("\\s+")) { - add(new UsedMagnet(inputLanguage, word)); + if (word.length() > 0) { + add(new UsedMagnet(inputLanguage, word)); + } } } diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css index 63bfcdbb3..162d9bf86 100644 --- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css +++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css @@ -17,7 +17,17 @@ .my-Magnet, .my-UsedMagnet { float: left; margin: 0.3em; + border-width: 1px 3px 3px 1px; + border-style: solid; + border-color: black; padding: 0.3em; + color: black; + background-color: white; +} + +.my-Magnet a, .my-UsedMagnet a { + color: black; + text-decoration: none; } .my-translations { |