UI tweaks
authorAndy Bavier <acb@cs.princeton.edu>
Tue, 22 Jun 2010 21:28:12 +0000 (17:28 -0400)
committerAndy Bavier <acb@cs.princeton.edu>
Tue, 22 Jun 2010 21:28:12 +0000 (17:28 -0400)
SfaData.py
public/SfaGUI.css

index b6d7331..88d2b13 100644 (file)
@@ -54,10 +54,12 @@ class SfaData:
 
     def getRSpec(self):
         slice = self.getSlice()
+        # Write RSpec to file for testing.
+        filename = os.path.expanduser("~/.sfi/" + slice + ".rspec")
+        os.remove(filename)
         call(["sfi.py", "-u", self.getUser(), "-a", self.getAuthority(), 
               "-r", self.registry, "-s", self.slicemgr, "resources", 
               "-o", slice, slice])
-        filename = os.path.expanduser("~/.sfi/" + slice + ".rspec")
         f = open(filename, "r")
         xml = f.read()
         f.close()
@@ -66,6 +68,7 @@ class SfaData:
     def applyRSpec(self, xml):
         slice = self.getSlice()
         filename = os.path.expanduser("~/.sfi/" + slice + ".rspec")
+        os.remove(filename)
         f = open(filename, "w")
         f.write(xml)
         f.close()
index c62461d..32ad2a2 100644 (file)
@@ -125,7 +125,7 @@ a:visited {
 }
 
 .gwt-TabBar .gwt-TabBarItem {
-  background-color: #d2d8e0;
+  background-color: white;
   border-top: 1px solid #87B3FF;
   border-left: 1px solid #87B3FF;
   border-right: 1px solid #87B3FF;
@@ -205,7 +205,11 @@ a:visited {
 }
 
 .ks-List .ks-SinkItem {
-  background-color: #d2d8e0;
+  background-color: white;
+  border-top: 1px solid #C3D9FF;
+  border-left: 1px solid #C3D9FF;
+  border-right: 1px solid #C3D9FF;
+  border-bottom: 1px solid #C3D9FF;
   width: 100%;
   padding: 0.3em;
   padding-right: 32px;
@@ -215,6 +219,7 @@ a:visited {
 
 .ks-List .ks-SinkItem-selected {
   background-color: #C3D9FF;
+  font-weight: bold;
 }
 
 .ks-images-Image {