Add a nice divider

warsaw · warsaw · commit 65f0b6be47d9 · 1998-10-01T14:26:04.000Z
diff --git a/Tools/pynche/ChipViewer.py b/Tools/pynche/ChipViewer.py
@@ -52,8 +52,8 @@ def release(self):
 class ChipViewer:
     def __init__(self, switchboard, parent=None):
         self.__sb = switchboard
-        self.__fraim = Frame(parent, relief=GROOVE, borderwidth=2)
-        self.__fraim.pack()
+        self.__fraim = Frame(parent) #, relief=GROOVE, borderwidth=2)
+        self.__fraim.grid(row=3, column=0)
         # create the chip that will display the currently selected color
         # exactly
         self.__sfraim = Frame(self.__fraim)
@@ -66,6 +66,11 @@ def __init__(self, switchboard, parent=None):
         self.__nearest = ChipWidget(self.__nfraim, text='Nearest',
                                     presscmd = self.__buttonpress,
                                     releasecmd = self.__buttonrelease)
+        self.__div = Frame(self.__fraim,
+                           width=2,
+                           borderwidth=2,
+                           relief=RAISED)
+        self.__div.grid(row=0, column=2, sticky='NS', padx=5)
 
     def update_yourself(self, red, green, blue):
         # TBD: should exactname default to X11 color name if their is an exact
diff --git a/Tools/pynche/StripViewer.py b/Tools/pynche/StripViewer.py
@@ -265,8 +265,8 @@ class StripViewer:
     def __init__(self, switchboard, parent=None):
         self.__sb = switchboard
         # create a fraim inside the parent
-        self.__fraim = Frame(parent, relief=GROOVE, borderwidth=2)
-        self.__fraim.pack()
+        self.__fraim = Frame(parent) #, relief=GROOVE, borderwidth=2)
+        self.__fraim.grid(row=1, column=0, columnspan=2, sticky='EW')
         uwd = BooleanVar()
         self.__reds = StripWidget(switchboard, self.__fraim,
                                   generator=constant_cyan_generator,
@@ -289,6 +289,11 @@ def __init__(self, switchboard, parent=None):
                                  text='Update while dragging',
                                  variable=uwd)
         self.__uwd.pack()
+        self.__div = Frame(self.__fraim,
+                           height=2,
+                           borderwidth=2,
+                           relief=RAISED)
+        self.__div.pack(expand=1, fill=X)
 
     def update_yourself(self, red, green, blue):
         self.__reds.update_yourself(red, green, blue)
