projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ticker bug fixed
[brisk.git]
/
web
/
ticker.js
diff --git
a/web/ticker.js
b/web/ticker.js
index
8c73c1a
..
fe8a096
100644
(file)
--- a/
web/ticker.js
+++ b/
web/ticker.js
@@
-50,19
+50,25
@@
train.prototype = {
notebox: null,
width: 0,
deltat: 250,
notebox: null,
width: 0,
deltat: 250,
- deltas: 1
2
,
+ deltas: 1
0
,
xend: 0,
timout: null,
clickable: true,
show: function()
{
xend: 0,
timout: null,
clickable: true,
show: function()
{
+ $('tickbut').style.visibility = "hidden";
+ $('tickbut').style.width = "0px";
+
this.clickable = true;
this.box.style.visibility = "visible";
},
hide: function()
{
this.clickable = true;
this.box.style.visibility = "visible";
},
hide: function()
{
+ $('tickbut').style.visibility = "visible";
+ $('tickbut').style.width = "20px";
+
this.clickable = false;
for (cur = this.first ; cur != null ; cur = cur.next) {
if (cur.notebox != null) {
this.clickable = false;
for (cur = this.first ; cur != null ; cur = cur.next) {
if (cur.notebox != null) {
@@
-98,6
+104,7
@@
train.prototype = {
if (dostart) {
this.start();
}
if (dostart) {
this.start();
}
+
},
rem: function(table)
},
rem: function(table)
@@
-172,7
+179,7
@@
train.prototype = {
start_move: function()
{
start_move: function()
{
- this.deltas =
5
;
+ this.deltas =
10
;
},
shut_wagon: function(args)
},
shut_wagon: function(args)
@@
-200,6
+207,8
@@
train.prototype = {
curw = wag.widthbox_get() - 10;
wag.w = curw + 2; // 2 for border pixels
if (curw <= 0) {
curw = wag.widthbox_get() - 10;
wag.w = curw + 2; // 2 for border pixels
if (curw <= 0) {
+ wag.cb_mouseout();
+
obj.box.removeChild(wag.box);
obj.rem_obj(wag);
obj.box.removeChild(wag.box);
obj.rem_obj(wag);
@@
-239,6
+248,9
@@
train.prototype = {
resetx: function()
{
resetx: function()
{
+ this.deltas = 10;
+ this.clickable = true;
+
this.box.style.left = this.anc.offsetWidth+"px";
},
this.box.style.left = this.anc.offsetWidth+"px";
},