mozilla
/
gecko-dev
зеркало из https://github.com/mozilla/gecko-dev.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

More tweaks to the undetermined progressmeter from Neil. 

Bug #226491
This commit is contained in:
scott%scott-macgregor.org 2004-08-07 08:53:24 +00:00
Родитель c45986352b
Коммит c94e0db87f
1 изменённых файлов: 8 добавлений и 6 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

14
toolkit/content/widgets/progressmeter.xml
Просмотреть файл

@ -52,8 +52,8 @@
<binding id="progressmeter-undetermined" <binding id="progressmeter-undetermined"
extends="chrome://global/content/bindings/progressmeter.xml#progressmeter"> extends="chrome://global/content/bindings/progressmeter.xml#progressmeter">
<content> <content>
<xul:stack class="progress-remainder" flex="1" anonid="stack"> <xul:stack class="progress-remainder" flex="1" anonid="stack" style="overflow: -moz-hidden-unscrollable;">
<xul:spacer class="progress-bar" anonid="spacer" top="0" style="margin-right: -1000px; overflow: -moz-hidden-unscrollable;"/> <xul:spacer class="progress-bar" anonid="spacer" top="0" style="margin-right: -1000px;"/>
</xul:stack> </xul:stack>
</content> </content>
@ -62,13 +62,15 @@
<body><![CDATA[ <body><![CDATA[
var stack = document.getAnonymousElementByAttribute(this, "anonid", "stack"); var stack = document.getAnonymousElementByAttribute(this, "anonid", "stack");
var spacer = document.getAnonymousElementByAttribute(this, "anonid", "spacer"); var spacer = document.getAnonymousElementByAttribute(this, "anonid", "spacer");
var position = -1;
var interval = setInterval(function nextStep() { var interval = setInterval(function nextStep() {
try { try {
spacer.height = stack.boxObject.height; spacer.height = stack.boxObject.height;
spacer.left -= -stack.boxObject.width >> 7; spacer.width = stack.boxObject.width >> 2;
spacer.left -= -2; spacer.left = spacer.width * position;
if (spacer.left >= stack.boxObject.width) position += 30 / (stack.boxObject.width + 600);
spacer.left = -spacer.width; if (position >= 4)
position = -1;
} catch (e) { } catch (e) {
clearInterval(interval); clearInterval(interval);
} }