EasyManua.ls Logo

Topcon OPUS A6G2 - Page 498

Topcon OPUS A6G2
800 pages
Print Icon
To Next Page IconTo Next Page
To Next Page IconTo Next Page
To Previous Page IconTo Previous Page
To Previous Page IconTo Previous Page
Loading...
498
OPUS Projektor Manual
Object Reference
Possible values:
·
0 (Stop)
·
1 (Play)
·
2 (Pause)
Example for how to use this property in a JavaScript:
var objectID = 42;
//Start the GIF animation
setProperty(objectID, "GIF State", 1);
//Pause the GIF animation:
setProperty(objectID, "GIF State", 2);
//Stop the GIF animation
setProperty(objectID, "GIF State", 0);
Note that the default value is stopped. This means that each animation on each page has
to be started manually in a script. If this is not done, only the first frame of the animation will
be displayed.
GIF Speed
The playback speed of a GIF animation can be set with this property. If this property is not
changed, the animation will run with the speed configured in the GIF itself.
Note that large GIF animations might run a little slow when playing them the first time (the
images will be cached the first time it is run).
The value for this property is the percent speed of the original speed defined in the GIF
(100% means unchanged speed).
Default value: 100%
Possible values: 1 ... 34359738367% (it is not recommended to set such a high speed)
Example for setting 50% (half) speed for an animation:
var objectID = 42;
setProperty(objectID, "GIF Speed", 50);
GIF Loops
This property is a boolean property that controls if the animation will loop to the start of the
animation when it's end is reached.
Default value: true
Possible values:
·
true - Begin at start of animation when end of animation is reached
·
false - Stop animation when end of animation is reached
Integrated in GIF files is a number of loop repetitions information, so even if looping is set
to true, after a certain amount of repititions the animation will stop. Sadly this information is
hardly editable in GIF-editors.
Example for setting the GIF Loops property:
var objectID = 42;
//Stop animation when end is reached:
setProperty(objectID, "GIF Loops", false);
//Enable looping:
setProperty(objectID, "GIF Loops", true);

Table of Contents