File tree Expand file tree Collapse file tree 6 files changed +69
-9
lines changed Expand file tree Collapse file tree 6 files changed +69
-9
lines changed Original file line number Diff line number Diff line change @@ -312,14 +312,22 @@ pre {
312
312
float : right;
313
313
height : 40px ;
314
314
}
315
+
315
316
.ei-console-stream-button {
316
317
float : right;
317
318
position : relative;
318
319
left : 10px ;
319
320
bottom : 10px ;
321
+ }
320
322
323
+ .ei-console-refresh-button {
324
+ float : right;
325
+ position : relative;
326
+ left : 10px ;
327
+ bottom : 10px ;
321
328
}
322
329
330
+
323
331
.lint-error , .outclass-error {
324
332
font-family : arial;
325
333
font-size : 70% ;
Original file line number Diff line number Diff line change @@ -171,7 +171,7 @@ window.DocContent = (function() {
171
171
activeStreamButton :
172
172
function ( num ) {
173
173
var self = this ;
174
- this . contentArray [ num ] . content . activeStreamButton ( self ) ;
174
+ this . contentArray [ num ] . content . activeStreamButton ( self , num ) ;
175
175
} ,
176
176
177
177
removeStreamButton :
Original file line number Diff line number Diff line change @@ -59,8 +59,19 @@ window.DygraphContent = (function() {
59
59
} ) ;
60
60
$ ( self . streamBttn ) . hide ( ) ;
61
61
62
- if ( self . isStream ( ) )
62
+ self . refreshBttn = $ ( "<button class='ei-console-refresh-button'>Refresh</button>" ) ;
63
+ $ ( self . refreshBttn ) . button ( {
64
+ icons : { primary : "ui-icon-arrowrefresh-1-s" } ,
65
+ text : "refresh"
66
+ } ) . click ( function ( ) {
67
+ self . doc . requestChunks ( self . doc , self . stref ) ;
68
+ } ) ;
69
+ $ ( self . refreshBttn ) . hide ( ) ;
70
+
71
+ if ( self . isStream ( ) ) {
63
72
self . content . prepend ( self . streamBttn ) ;
73
+ self . content . prepend ( self . refreshBttn ) ;
74
+ }
64
75
}
65
76
66
77
@@ -380,6 +391,7 @@ window.DygraphContent = (function() {
380
391
if ( ! this . isStream ( ) )
381
392
return ;
382
393
this . streamBttn . show ( ) ;
394
+ this . refreshBttn . show ( ) ;
383
395
this . doc = doc ;
384
396
this . enableStreamButton ( ) ;
385
397
} ,
@@ -388,6 +400,7 @@ window.DygraphContent = (function() {
388
400
if ( ! this . isStream ( ) )
389
401
return ;
390
402
this . streamBttn . hide ( ) ;
403
+ this . refreshBttn . hide ( ) ;
391
404
this . stData . isStream = false ;
392
405
return ;
393
406
//self.contentArray[num].content.removeStreamButton();
Original file line number Diff line number Diff line change @@ -35,6 +35,7 @@ window.HTMLContent = (function() {
35
35
$ ( self . content ) . find ( ".data" ) . append ( $ ( options . content ) . prop ( 'outerHTML' ) ) ;
36
36
37
37
self . streamBttn = $ ( "<button class='ei-console-stream-button'>Streaming...</button>" ) ;
38
+
38
39
$ ( self . streamBttn ) . button ( {
39
40
icons : { primary : "ui-icon-stop" } ,
40
41
text : "stream"
@@ -44,8 +45,19 @@ window.HTMLContent = (function() {
44
45
} ) ;
45
46
$ ( self . streamBttn ) . hide ( ) ;
46
47
47
- if ( self . isStream ( ) )
48
+ self . refreshBttn = $ ( "<button class='ei-console-refresh-button'>Refresh</button>" ) ;
49
+ $ ( self . refreshBttn ) . button ( {
50
+ icons : { primary : "ui-icon-arrowrefresh-1-s" } ,
51
+ text : "refresh"
52
+ } ) . click ( function ( ) {
53
+ self . doc . requestChunks ( self . doc , self . stref ) ;
54
+ } ) ;
55
+ $ ( self . refreshBttn ) . hide ( ) ;
56
+
57
+ if ( self . isStream ( ) ) {
48
58
self . content . prepend ( self . streamBttn ) ;
59
+ self . content . prepend ( self . refreshBttn ) ;
60
+ }
49
61
}
50
62
51
63
@@ -95,18 +107,21 @@ window.HTMLContent = (function() {
95
107
96
108
// STREAM BUTTON
97
109
activeStreamButton :
98
- function ( doc ) {
110
+ function ( doc , ref ) {
99
111
if ( ! this . isStream ( ) )
100
112
return ;
101
113
this . streamBttn . show ( ) ;
114
+ this . refreshBttn . show ( ) ;
102
115
this . doc = doc ;
116
+ this . stref = ref ;
103
117
this . enableStreamButton ( ) ;
104
118
} ,
105
119
removeStreamButton :
106
120
function ( ) {
107
121
if ( ! this . isStream ( ) )
108
122
return ;
109
123
this . streamBttn . hide ( ) ;
124
+ this . refreshBttn . hide ( ) ;
110
125
this . stData . isStream = false ;
111
126
return ;
112
127
//self.contentArray[num].content.removeStreamButton();
Original file line number Diff line number Diff line change @@ -49,12 +49,20 @@ window.SVGContent = (function() {
49
49
self . off ( self . count , true ) ;
50
50
} ) ;
51
51
$ ( self . streamBttn ) . hide ( ) ;
52
-
53
- if ( self . isStream ( ) )
54
- self . content . prepend ( self . streamBttn ) ;
55
-
56
52
53
+ self . refreshBttn = $ ( "<button class='ei-console-refresh-button'>Refresh</button>" ) ;
54
+ $ ( self . refreshBttn ) . button ( {
55
+ icons : { primary : "ui-icon-arrowrefresh-1-s" } ,
56
+ text : "refresh"
57
+ } ) . click ( function ( ) {
58
+ self . doc . requestChunks ( self . doc , self . stref ) ;
59
+ } ) ;
60
+ $ ( self . refreshBttn ) . hide ( ) ;
57
61
62
+ if ( self . isStream ( ) ) {
63
+ self . content . prepend ( self . streamBttn ) ;
64
+ self . content . prepend ( self . refreshBttn ) ;
65
+ }
58
66
}
59
67
60
68
@@ -132,6 +140,7 @@ window.SVGContent = (function() {
132
140
if ( ! this . isStream ( ) )
133
141
return ;
134
142
this . streamBttn . show ( ) ;
143
+ this . refreshBttn . show ( ) ;
135
144
this . doc = doc ;
136
145
this . enableStreamButton ( ) ;
137
146
} ,
@@ -140,6 +149,7 @@ window.SVGContent = (function() {
140
149
if ( ! this . isStream ( ) )
141
150
return ;
142
151
this . streamBttn . hide ( ) ;
152
+ this . refreshBttn . hide ( ) ;
143
153
this . stData . execid = null ;
144
154
return ;
145
155
//self.contentArray[num].content.removeStreamButton();
Original file line number Diff line number Diff line change @@ -43,8 +43,20 @@ window.TextContent = (function() {
43
43
} ) ;
44
44
$ ( self . streamBttn ) . hide ( ) ;
45
45
46
- if ( self . isStream ( ) )
46
+
47
+ self . refreshBttn = $ ( "<button class='ei-console-refresh-button'>Refresh</button>" ) ;
48
+ $ ( self . refreshBttn ) . button ( {
49
+ icons : { primary : "ui-icon-arrowrefresh-1-s" } ,
50
+ text : "refresh"
51
+ } ) . click ( function ( ) {
52
+ self . doc . requestChunks ( self . doc , self . stref ) ;
53
+ } ) ;
54
+ $ ( self . refreshBttn ) . hide ( ) ;
55
+
56
+ if ( self . isStream ( ) ) {
47
57
self . content . prepend ( self . streamBttn ) ;
58
+ self . content . prepend ( self . refreshBttn ) ;
59
+ }
48
60
}
49
61
50
62
@@ -114,6 +126,7 @@ window.TextContent = (function() {
114
126
if ( ! this . isStream ( ) )
115
127
return ;
116
128
this . streamBttn . show ( ) ;
129
+ this . refreshBttn . show ( ) ;
117
130
this . doc = doc ;
118
131
this . enableStreamButton ( ) ;
119
132
} ,
@@ -122,6 +135,7 @@ window.TextContent = (function() {
122
135
if ( ! this . isStream ( ) )
123
136
return ;
124
137
this . streamBttn . hide ( ) ;
138
+ this . refreshBttn . hide ( ) ;
125
139
this . stData . isStream = false ;
126
140
return ;
127
141
//self.contentArray[num].content.removeStreamButton();
You can’t perform that action at this time.
0 commit comments