UI tweaks

diff --git a/SfaData.py b/SfaData.py
index b6d7331..88d2b13 100644 (file)
--- a/SfaData.py
+++ b/SfaData.py
@@ -54,10 +54,12 @@ class SfaData:
 
     def getRSpec(self):
         slice = self.getSlice()
 
     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])
         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()
         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")
     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()
         f = open(filename, "w")
         f.write(xml)
         f.close()

diff --git a/public/SfaGUI.css b/public/SfaGUI.css
index c62461d..32ad2a2 100644 (file)
--- a/public/SfaGUI.css
+++ b/public/SfaGUI.css
@@ -125,7 +125,7 @@ a:visited {
 }
 
 .gwt-TabBar .gwt-TabBarItem {
 }
 
 .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;
   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 {
 }
 
 .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;
   width: 100%;
   padding: 0.3em;
   padding-right: 32px;


@@ -215,6 +219,7 @@ a:visited {
 
 .ks-List .ks-SinkItem-selected {
   background-color: #C3D9FF;
 
 .ks-List .ks-SinkItem-selected {
   background-color: #C3D9FF;

+  font-weight: bold;

 }
 
 .ks-images-Image {
 }
 
 .ks-images-Image {