зеркало из https://github.com/mozilla/pjs.git
Charset override work: add API to force charset.
This commit is contained in:
Родитель
2a43bf8cc9
Коммит
8f41e47ef7
|
@ -916,6 +916,24 @@ function BrowserEditBookmarks()
|
|||
}
|
||||
}
|
||||
|
||||
function BrowserSetForcedCharacterSet(aCharset)
|
||||
{
|
||||
if (appCore != null) {
|
||||
appCore.SetForcedCharset(aCharset);
|
||||
} else {
|
||||
dump("BrowserAppCore has not been created!\n");
|
||||
}
|
||||
}
|
||||
|
||||
function BrowserSetForcedDetector()
|
||||
{
|
||||
if (appCore != null) {
|
||||
appCore.SetForcedDetector();
|
||||
} else {
|
||||
dump("BrowserAppCore has not been created!\n");
|
||||
}
|
||||
}
|
||||
|
||||
function BrowserClose()
|
||||
{
|
||||
// This code replicates stuff in Shutdown(). It is here because
|
||||
|
|
Загрузка…
Ссылка в новой задаче