dynamically show new label markers in headlines buffer w/o reload

2009-01-18 16:07:31 +01:00
parent 1380f8eed4
commit f92471951b
4 changed files with 56 additions and 3 deletions
@@ -1794,6 +1794,8 @@ ul.headlineDropdownMenu ul {
 	border-color : #c0c0c0;
 	border-style : solid;
 	margin-left : -1px;
+	max-height : 300px;
+	overflow : auto;
 }

 ul.headlineDropdownMenu ul li {