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

PDF reader: Hide "Rotate Page 180°" menu option for now

Browse source 
Rotating will speed up with Zotero 7, so maybe we can do without this.
This commit is contained in:
Dan Stillman 2022-10-17 23:58:15 -04:00
parent 73306ee5fb
commit aa0ef7012c
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
chrome/content/zotero/reader.xul
View file

@ -82,12 +82,12 @@
label="&zotero.pdfReader.rotatePageRight;" label="&zotero.pdfReader.rotatePageRight;"
oncommand="menuCmd('rotateRight')" oncommand="menuCmd('rotateRight')"
/> />
<menuitem <!--<menuitem
id="edit-menuitem-rotate-180" id="edit-menuitem-rotate-180"
class="menu-type-reader" class="menu-type-reader"
label="&zotero.pdfReader.rotatePage180;" label="&zotero.pdfReader.rotatePage180;"
oncommand="menuCmd('rotate180')" oncommand="menuCmd('rotate180')"
/> />-->
</menupopup> </menupopup>
</menu> </menu>
<menu label="View" onpopupshowing="onViewMenuOpen()"> <menu label="View" onpopupshowing="onViewMenuOpen()">

4
chrome/content/zotero/standalone/standalone.xul
View file

@ -245,12 +245,12 @@
label="&zotero.pdfReader.rotatePageRight;" label="&zotero.pdfReader.rotatePageRight;"
oncommand="ZoteroStandalone.onReaderCmd('rotateRight')" oncommand="ZoteroStandalone.onReaderCmd('rotateRight')"
/> />
<menuitem <!--<menuitem
id="edit-menuitem-rotate-180" id="edit-menuitem-rotate-180"
class="menu-type-reader" class="menu-type-reader"
label="&zotero.pdfReader.rotatePage180;" label="&zotero.pdfReader.rotatePage180;"
oncommand="ZoteroStandalone.onReaderCmd('rotate180')" oncommand="ZoteroStandalone.onReaderCmd('rotate180')"
/> />-->
</menupopup> </menupopup>
</menu> </menu>