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>
|
|
|
|
<input type="text" id="${key}" size="40" value="${settings[key]}" >
|
|
|
|
</#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-size: small;
|
|
|
|
font-variant: small-caps;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.developer #developerPanelBody {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.developer .container {
|
|
|
|
border: thin groove black
|
|
|
|
}
|
|
|
|
</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">
|
|
|
|
<form>
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerEnabled" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Enable developer mode
|
|
|
|
</label>
|
|
|
|
|
|
|
|
<div class="container">
|
|
|
|
Freemarker templates
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerDefeatFreemarkerCache" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Defeat the template cache
|
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerInsertFreemarkerDelimiters" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Insert HTML comments at start and end of templates
|
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="container">
|
|
|
|
SPARQL Queries
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerLoggingRDFServiceEnable" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Log each query
|
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerLoggingRDFServiceStackTrace" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Add stack trace
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
Restrict by calling stack
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showTextbox "developerLoggingRDFServiceRestriction" />
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="container">
|
|
|
|
Language support
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerI18nDefeatCache" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Defeat the cache of language property files
|
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerI18nLogStringRequests" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Log the retrieval of language strings
|
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<input type="button" id="developerPanelSaveButton" value="Save Settings" name="foo" />
|
|
|
|
</form>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</#if>
|