Changeset 551 in tmcsimulator for trunk/webapps/einotebook/scripts/Event.js

Timestamp:

12/26/2019 03:14:52 PM (6 years ago)

Author:

jdalbey

Message:

Multi-file commit to implement saving evaluation ratings from einotebook to a log file and merging with unified log. Also fix defect #212. cgi-bin/saveEvals.py cgi-bin/saveRatingsToLog.py common/js/displayutils.js common/js/fileutils.js common/js/revision_number.dat common/unifiedlog.css dynamicdata/CADcomments.log dynamicdata/caddetails.csv dynamicdata cms_messages.json dynamicdata/har_messages.json dynamicdata highway_status.json dynamicdata/ratings.csv dynamicdata/unifiedlog.csv dynamicdata/unifiedlog_final.csv einotebook/roles/index.html einotebook roles/roles.js einotebook/script/index.html einotebook/script scrollframe.js einotebook/scripts/Evaluation.js einotebook/scripts/Event.js mergelogs.bash unifiedlogdisplay.html unifiedlogmonitor.html

File:

• trunk/webapps/einotebook/scripts/Event.js (modified) (3 diffs)

trunk/webapps/einotebook/scripts/Event.js

@@ -178 +178 @@
         function focus()
         {
-                /* This method was discarded because it moved the scroll bar of the parent of
+                /* This next 3 lines were discarded because it moved the scroll bar of the parent of
                  * the given window in addition to the scroll bar of the given window..
                 var positionOfPound = window.location.indexOf("#");
@@ -184 +184 @@
                 window.location = rootLocation + "#" + eventAnchorName;
                 */
-                events.win.scrollTo(0, absoluteTop(events.doc.getElementById(this.eventHeaderID)));
+                events.win.scrollTo(0, absoluteTop(events.doc.getElementById(this.eventHeaderID)));
         }
         
@@ -195 +195 @@
         if (events.doc.getElementById(this.eventHeaderID) != null)
         {
-                events.doc.getElementById(this.eventHeaderID).style.borderColor = "blue";
+                events.doc.getElementById(this.eventHeaderID).style.borderColor = "blue";
                 events.doc.getElementById(this.eventHeaderID).style.backgroundColor = "yellow";
                 events.doc.getElementById(this.eventHeaderID).style.color = "black";