зеркало из https://github.com/mozilla/pjs.git
41 строка
1.4 KiB
Plaintext
41 строка
1.4 KiB
Plaintext
/* -*- Mode: IDL; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
*
|
|
* The contents of this file are subject to the Mozilla Public
|
|
* License Version 1.1 (the "License"); you may not use this file
|
|
* except in compliance with the License. You may obtain a copy of
|
|
* the License at http://www.mozilla.org/MPL/
|
|
*
|
|
* Software distributed under the License is distributed on an "AS
|
|
* IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
|
|
* implied. See the License for the specific language governing
|
|
* rights and limitations under the License.
|
|
*
|
|
* The Original Code is the Mozilla browser.
|
|
*
|
|
* The Initial Developer of the Original Code is Netscape
|
|
* Communications, Inc. Portions created by Netscape are
|
|
* Copyright (C) 1999, Mozilla. All Rights Reserved.
|
|
*
|
|
* Contributor(s):
|
|
*/
|
|
|
|
#include "nsISupports.idl"
|
|
#include "nsIURI.idl"
|
|
|
|
[scriptable, uuid(69EFC430-2EFE-11d2-9E5D-006008BF092E)]
|
|
interface nsIRefreshURI : nsISupports {
|
|
/**
|
|
* Reloads a uri after waiting millis milliseconds.
|
|
*
|
|
* @param uri The uri to refresh.
|
|
* @param millis The number of milliseconds to wait.
|
|
* @param repeat Do you want the uri to be repeatedly refreshed every millis milliseconds.
|
|
*/
|
|
void refreshURI(in nsIURI aURI, in long aMillis, in boolean aRepeat);
|
|
|
|
/**
|
|
* Cancels all timer loads.
|
|
*/
|
|
void cancelRefreshURITimers();
|
|
};
|