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

fx115: Preferences: Make style manager scroll again

Browse source
This commit is contained in:
Abe Jellinek 2023-12-06 11:42:27 -05:00 committed by Dan Stillman
parent 5ca626c143
commit 6854ad814b
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/preferences/preferences_cite.xhtml
View file

@ -29,7 +29,7 @@
<!-- HTML needs to be wrapped in an hbox to isolate from XUL box layout --> <!-- HTML needs to be wrapped in an hbox to isolate from XUL box layout -->
<hbox><label><html:h2>&zotero.preferences.cite.styles.styleManager;</html:h2></label></hbox> <hbox><label><html:h2>&zotero.preferences.cite.styles.styleManager;</html:h2></label></hbox>
<hbox class="virtualized-table-container" flex="1" height="300px"> <hbox class="virtualized-table-container" flex="1">
<html:div id="styleManager"/> <html:div id="styleManager"/>
</hbox> </hbox>
<separator class="thin"/> <separator class="thin"/>

1
scss/preferences/_cite.scss
View file

@ -14,6 +14,7 @@
#styleManager #styleManager
{ {
height: 250px; height: 250px;
max-height: 250px;
} }
#styleManager-updated #styleManager-updated