@@ -11,27 +11,33 @@ var View = /** @class */ (function () {
1111 this . highlightEventDuration = 1000 ;
1212 this . paused = false ;
1313 }
14- View . prototype . setHighlightEdge = function ( edgeId ) {
15- var forward = function ( edgeId ) {
14+ View . prototype . setHighlightEdge = function ( edgeId , weight ) {
15+ var forward = function ( edgeId , weight ) {
1616 return function ( ) {
17+ higlightEdgeText ( edgeId ) ;
1718 highlightThisEdge ( edgeId ) ;
19+ writeTotalWeight ( weight ) ;
1820 } ;
19- } ( edgeId ) ;
20- var backward = function ( edgeId ) {
21+ } ( edgeId , weight ) ;
22+ var backward = function ( edgeId , weight ) {
2123 return function ( ) {
2224 dehighlightThisEdge ( edgeId ) ;
25+ deHighlightEdgeText ( edgeId ) ;
26+ writeTotalWeight ( - weight ) ;
2327 } ;
24- } ( edgeId ) ;
28+ } ( edgeId , weight ) ;
2529 manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
2630 } ;
2731 View . prototype . setDehighlightEdge = function ( edgeId ) {
2832 var forward = function ( edgeId ) {
2933 return function ( ) {
34+ transparentEdge ( edgeId ) ;
3035 dehighlightThisEdge ( edgeId ) ;
3136 } ;
3237 } ( edgeId ) ;
3338 var backward = function ( edgeId ) {
3439 return function ( ) {
40+ transparentEdge ( edgeId ) ;
3541 highlightThisEdge ( edgeId ) ;
3642 } ;
3743 } ( edgeId ) ;
@@ -51,32 +57,6 @@ var View = /** @class */ (function () {
5157 } ( edgeId ) ;
5258 manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
5359 } ;
54- View . prototype . transparentEdge = function ( edgeId ) {
55- var forward = function ( edgeId ) {
56- return function ( ) {
57- transparentEdge ( edgeId ) ;
58- } ;
59- } ( edgeId ) ;
60- var backward = function ( edgeId ) {
61- return function ( ) {
62- deTransparentEdge ( edgeId ) ;
63- } ;
64- } ( edgeId ) ;
65- manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
66- } ;
67- View . prototype . deTransparentEdge = function ( edgeId ) {
68- var forward = function ( edgeId ) {
69- return function ( ) {
70- deTransparentEdge ( edgeId ) ;
71- } ;
72- } ( edgeId ) ;
73- var backward = function ( edgeId ) {
74- return function ( ) {
75- transparentEdge ( edgeId ) ;
76- } ;
77- } ( edgeId ) ;
78- manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
79- } ;
8060 View . prototype . addNodeToGraph = function ( x , y ) {
8161 var forward = function ( x , y ) {
8262 return function ( ) {
@@ -129,32 +109,6 @@ var View = /** @class */ (function () {
129109 } ( node1 , node2 ) ;
130110 manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
131111 } ;
132- View . prototype . disableThisButton = function ( ) {
133- var forward = function ( ) {
134- return function ( ) {
135- disableButton ( ) ;
136- } ;
137- } ( ) ;
138- var backward = function ( ) {
139- return function ( ) {
140- enableButton ( ) ;
141- } ;
142- } ( ) ;
143- manager . addEvent ( new FrontendEvent ( forward , backward , 10 ) ) ;
144- } ;
145- View . prototype . enableThisButton = function ( ) {
146- var forward = function ( ) {
147- return function ( ) {
148- enableButton ( ) ;
149- } ;
150- } ( ) ;
151- var backward = function ( ) {
152- return function ( ) {
153- disableButton ( ) ;
154- } ;
155- } ( ) ;
156- manager . addEvent ( new FrontendEvent ( forward , backward , 10 ) ) ;
157- } ;
158112 View . prototype . excludeText = function ( i ) {
159113 var forward = function ( i ) {
160114 return function ( ) {
@@ -168,32 +122,6 @@ var View = /** @class */ (function () {
168122 } ( i ) ;
169123 manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
170124 } ;
171- View . prototype . highlighText = function ( i ) {
172- var forward = function ( i ) {
173- return function ( ) {
174- higlightEdgeText ( i ) ;
175- } ;
176- } ( i ) ;
177- var backward = function ( i ) {
178- return function ( ) {
179- deHighlightEdgeText ( i ) ;
180- } ;
181- } ( i ) ;
182- manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
183- } ;
184- View . prototype . addWeightToSum = function ( weight ) {
185- var forward = function ( weight ) {
186- return function ( ) {
187- writeTotalWeight ( weight ) ;
188- } ;
189- } ( weight ) ;
190- var backward = function ( weight ) {
191- return function ( ) {
192- writeTotalWeight ( - weight ) ;
193- } ;
194- } ( weight ) ;
195- manager . addEvent ( new FrontendEvent ( forward , backward , this . highlightEventDuration ) ) ;
196- } ;
197125 View . prototype . resetMyAll = function ( ) {
198126 resetGraphUI ( ) ;
199127 manager . clear ( ) ;
@@ -223,9 +151,13 @@ var View = /** @class */ (function () {
223151 $ ( '#forward' ) . removeAttr ( 'disabled' ) ;
224152 } ;
225153 View . prototype . forward = function ( ) {
154+ this . paused = false ;
155+ this . pause ( ) ;
226156 manager . next ( ) ;
227157 } ;
228158 View . prototype . backward = function ( ) {
159+ this . paused = false ;
160+ this . pause ( ) ;
229161 manager . previous ( ) ;
230162 } ;
231163 View . prototype . slow = function ( ) {
0 commit comments