diff editor.css @ 23:068d63627b16

Populate in scope symbol buttons when clicking on a symbol in the source
author Mike Pavone <pavone@retrodev.com>
date Mon, 26 Mar 2012 21:29:03 -0700
parents a5ef5af3df0f
children 4d87c38404d6
line wrap: on
line diff
--- a/editor.css	Mon Mar 26 00:06:13 2012 -0700
+++ b/editor.css	Mon Mar 26 21:29:03 2012 -0700
@@ -69,12 +69,19 @@
 	overflow: auto;
 }
 
+ul#inscope
+{
+	height: 100%;
+	border-bottom-width: 1px !important;
+	overflow-y: auto;
+}
+
 #editor ul:first-child
 {
 	border-bottom-width: 0px;
 }
 
-#editor #operators, #editor .showops > #builtin
+#editor #operators
 {
 	display: none;
 }