File tree Expand file tree Collapse file tree 6 files changed +647
-495
lines changed
src/org/opensolaris/opengrok/analysis Expand file tree Collapse file tree 6 files changed +647
-495
lines changed Original file line number Diff line number Diff line change @@ -345,19 +345,6 @@ public void write(Writer out) throws IOException {
345
345
while (!stack .empty ()) {
346
346
yypop ();
347
347
}
348
-
349
- writeScopesFooter ();
350
- }
351
-
352
- /**
353
- * Write a JavaScript function that display scopes panel if scopes are
354
- * available
355
- */
356
- private void writeScopesFooter () throws IOException {
357
- //TODO try to get rid of included js scripts generated from here (all js should ideally be in util)
358
- if (scopesEnabled && scopes != null && scopes .size () > 0 ) {
359
- out .append ("<script type=\" text/javascript\" >document.getElementById(\" scope\" ).style.display = \" block\" ;</script>" );
360
- }
361
348
}
362
349
363
350
/**
Original file line number Diff line number Diff line change @@ -814,14 +814,17 @@ a.scope { /* scope */ color: dodgerblue; font-weight: bo
814
814
display : none;
815
815
}
816
816
817
- .intelli- window {
817
+ .window {
818
818
position : absolute;
819
- width : 504px ;
820
- max-height : 400px ;
821
- overflow : auto;
822
- z-index : 10 ;
823
819
font-size : 12px ;
824
820
font-family : monospace;
821
+ overflow : auto;
822
+ z-index : 10 ;
823
+ }
824
+
825
+ .intelli-window {
826
+ width : 504px ;
827
+ max-height : 400px ;
825
828
}
826
829
827
830
.symbol-highlighted {
@@ -830,13 +833,13 @@ a.scope { /* scope */ color: dodgerblue; font-weight: bo
830
833
}
831
834
832
835
.messages-window {
833
- position : absolute;
834
836
width : 40% ;
835
837
max-height : 400px ;
836
- overflow : auto;
837
- z-index : 10 ;
838
- font-size : 12px ;
839
- font-family : monospace;
838
+ }
839
+
840
+ .scopes-window {
841
+ min-width : 150px ;
842
+ max-height : 400px ;
840
843
}
841
844
842
845
.important-note {
@@ -1069,16 +1072,6 @@ span.scope-signature {
1069
1072
display : none;
1070
1073
}
1071
1074
1072
- div # scope {
1073
- display : none;
1074
- min-height : 1em ;
1075
- text-align : left;
1076
- background-color : # dddddd ;
1077
- padding : 0.5em 0.5em 0.5em 6.5ex ;
1078
- font-family : monospace;
1079
- font-weight : bold;
1080
- }
1081
-
1082
1075
/** --------------- fold arrows for main page ------------ */
1083
1076
1084
1077
.fold-down : before {
You can’t perform that action at this time.
0 commit comments