Changeset 37361
- Timestamp:
- 2023-02-25T15:46:17+13:00 (4 weeks ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/web/interfaces/default/interfaceConfig.xml
r37360 r37361 55 55 <option name="cssTheme" value="interfaces/default/style/themes/main/jquery-ui.theme.css"/> 56 56 57 58 <!-- For an example alternative from the jquery UI theme site: --> 59 <!-- 60 <option name="cssTheme" value="https://code.jquery.com/ui/1.13.0/themes/eggplant/theme.css"/> 61 --> 62 63 57 64 <option name="highlightQueryTerms" value="true"/> 58 65 </optionList>
Note:
See TracChangeset
for help on using the changeset viewer.