mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-02-17 22:32:51 +00:00
Fixes bug 52154, 'Make gui for view source coloring pref' r=akkana@netscape.com sr=hewitt@netscape.com
This commit is contained in:
parent
5207c10572
commit
58c9f11eb3
@ -37,7 +37,7 @@
|
||||
|
||||
<script type="application/x-javascript">
|
||||
<![CDATA[
|
||||
var _elementIDs = ["foregroundText", "background", "browserUseSystemColors", "unvisitedLinks", "visitedLinks", "browserUnderlineAnchors", "browserUseDocumentColors"];
|
||||
var _elementIDs = ["foregroundText", "background", "browserUseSystemColors", "unvisitedLinks", "visitedLinks", "browserUnderlineAnchors", "browserUseDocumentColors", "syntaxHighlight"];
|
||||
]]>
|
||||
</script>
|
||||
|
||||
@ -96,9 +96,17 @@
|
||||
pref="true" preftype="bool" prefstring="browser.display.use_document_colors"
|
||||
prefattribute="value">
|
||||
<radio group="browserUseDocumentColors" value="true" label="&alwaysUseDocumentColors.label;" accesskey="&alwaysUseDocumentColors.accesskey;"/>
|
||||
<radio group="browserUseDocumentColors" value="false" label="&useMyColors.label;" accesskey="&useMyColors.label;"/>
|
||||
<radio group="browserUseDocumentColors" value="false" label="&useMyColors.label;" accesskey="&useMyColors.accesskey;"/>
|
||||
</radiogroup>
|
||||
|
||||
</titledbox>
|
||||
|
||||
<titledbox orient="vertical">
|
||||
<label value="&viewsource;"/>
|
||||
<box autostretch="never">
|
||||
<checkbox id="syntaxHighlight" label="&syntaxHighlight.label;" accesskey="&syntaxHighlight.accesskey;"
|
||||
pref="true" preftype="bool" prefstring="browser.view_source.syntax_highlight" prefattribute="checked"/>
|
||||
</box>
|
||||
</titledbox>
|
||||
|
||||
</window>
|
||||
|
Loading…
x
Reference in New Issue
Block a user