mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Fix update.xhtml style on Windows (#3824)

Browse source
This commit is contained in:
windingwind 2024-03-10 14:57:38 +08:00 • committed by GitHub
parent edb9a06910
commit f0db826b72
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/update/update-header.js
View file

@ -5,7 +5,7 @@
"use strict";
{
Services.scriptloader.loadSubScript("chrome://zotero/content/elements/base.js", this);
Services.scriptloader.loadSubScript("chrome://zotero/content/customElements.js", this);
const XULElementBaseMixin = MozElements.MozElementMixin(XULElementBase);
class UpdateHeader extends XULElementBaseMixin {

5
chrome/content/zotero/update/updates.xhtml
View file

@ -5,6 +5,7 @@
- file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
<?xml-stylesheet href="chrome://zotero-platform/content/zotero.css" type="text/css"?>
<?xml-stylesheet href="chrome://zotero/content/update/updates.css"?>
<!DOCTYPE wizard [
@ -22,15 +23,13 @@
style="width: auto; height: auto"
onload="gUpdates.onLoad();"
onunload="gUpdates.onUnload();">
<script src="chrome://global/content/customElements.js"/>
<script src="chrome://global/content/contentAreaUtils.js"/>
<script src="chrome://global/content/globalOverlay.js"/>
<script src="chrome://zotero/content/editMenuOverlay.js"/>
<script src="chrome://zotero/content/update/updates.js"/>
<script src="chrome://zotero/content/update/update-header.js"/>
<wizard>
<wizard width="500" height="400">
<linkset>
<html:link rel="localization" href="toolkit/global/wizard.ftl"/>
</linkset>