2013-11-17 11:50:06 -05:00
|
|
|
<#-- $This file is distributed under the terms of the license in /doc/license.txt$ -->
|
|
|
|
|
|
|
|
|
|
|
|
<#macro showCheckbox key>
|
|
|
|
<input type="checkbox" id="${key}" <#if settings[key]>checked</#if>>
|
|
|
|
</#macro>
|
|
|
|
|
|
|
|
<#macro showTextbox key>
|
2013-11-20 15:50:51 -05:00
|
|
|
<input type="text" id="${key}" size="30" value="${settings[key]}" >
|
2013-11-17 11:50:06 -05:00
|
|
|
</#macro>
|
|
|
|
|
|
|
|
|
|
|
|
<style>
|
|
|
|
div.developer {
|
2013-11-19 10:20:58 -05:00
|
|
|
background-color: #f7dd8a;
|
2013-11-17 11:50:06 -05:00
|
|
|
padding: 0px 10px 0px 10px;
|
|
|
|
font-variant: small-caps;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.developer #developerPanelBody {
|
|
|
|
display: none;
|
2013-11-20 15:50:51 -05:00
|
|
|
line-height: 1em;
|
|
|
|
font-size: small;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.developer div.devleft {
|
|
|
|
width: 49%
|
|
|
|
}
|
|
|
|
|
|
|
|
div.developer div.devright {
|
|
|
|
float: right;
|
|
|
|
width: 49%
|
2013-11-17 11:50:06 -05:00
|
|
|
}
|
|
|
|
|
2013-11-20 15:50:51 -05:00
|
|
|
div.developer div.container {
|
|
|
|
border: thin groove black;
|
|
|
|
padding: 3px 10px 0px 10px;
|
|
|
|
margin: 3px 0px 3px 0px;
|
2013-11-17 11:50:06 -05:00
|
|
|
}
|
2013-11-20 15:50:51 -05:00
|
|
|
|
|
|
|
div.developer div.within {
|
|
|
|
padding-left: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.developer input[type="text"] {
|
|
|
|
padding: 2px 10px 2px 10px;
|
|
|
|
line-height: 1em;
|
|
|
|
margin: 2px 2px 2px 2px;
|
|
|
|
}
|
|
|
|
|
2013-11-17 11:50:06 -05:00
|
|
|
</style>
|
|
|
|
|
2013-11-18 18:13:09 -05:00
|
|
|
<#if !settings.developerEnabled>
|
|
|
|
<#elseif !settings.mayControl>
|
2013-11-17 11:50:06 -05:00
|
|
|
<div class="developer">
|
|
|
|
<h1>${siteName} is running in developer mode.</h1>
|
|
|
|
</div>
|
|
|
|
<#else>
|
|
|
|
<div class="developer">
|
|
|
|
<h1 id="developerPanelClickMe">${siteName} is running in developer mode.
|
|
|
|
<span id="developerPanelClickText">(click for Options)</span>
|
|
|
|
</h1>
|
|
|
|
<div id="developerPanelBody">
|
2013-11-20 15:50:51 -05:00
|
|
|
<div>
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerEnabled" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Enable developer mode
|
|
|
|
</label>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="devright">
|
2013-11-17 11:50:06 -05:00
|
|
|
<div class="container">
|
2013-11-20 15:50:51 -05:00
|
|
|
Page configuration
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerPageContentsLogCustomListView" />
|
|
|
|
Log the use of custom list view XML files.
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerPageContentsLogCustomShortView" />
|
|
|
|
Log the use of custom short views in search, index and browse pages.
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="container">
|
2013-11-20 15:50:51 -05:00
|
|
|
Language support
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerI18nDefeatCache" />
|
|
|
|
Defeat the cache of language property files
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerI18nLogStringRequests" />
|
|
|
|
Log the retrieval of language strings
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="devleft">
|
|
|
|
<div class="container">
|
|
|
|
Freemarker templates
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerDefeatFreemarkerCache" />
|
|
|
|
Defeat the template cache
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
<@showCheckbox "developerInsertFreemarkerDelimiters" />
|
|
|
|
Insert HTML comments at start and end of templates
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="container">
|
2013-11-20 15:50:51 -05:00
|
|
|
SPARQL Queries
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerLoggingRDFServiceEnable" />
|
|
|
|
Log each query
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<div class="within">
|
|
|
|
<label>
|
|
|
|
<@showCheckbox "developerLoggingRDFServiceStackTrace" />
|
|
|
|
Add stack trace
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
Restrict by query string
|
|
|
|
<@showTextbox "developerLoggingRDFServiceQueryRestriction" />
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
Restrict by calling stack
|
|
|
|
<@showTextbox "developerLoggingRDFServiceStackRestriction" />
|
|
|
|
</label>
|
|
|
|
</div>
|
2013-11-17 11:50:06 -05:00
|
|
|
</div>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
2013-11-17 11:50:06 -05:00
|
|
|
|
2013-11-20 15:50:51 -05:00
|
|
|
<div>
|
2013-11-17 11:50:06 -05:00
|
|
|
<input type="button" id="developerPanelSaveButton" value="Save Settings" name="foo" />
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
2013-11-17 11:50:06 -05:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</#if>
|