The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/toolkit/content/customizeCharset.xul	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,63 @@
     1.4 +<?xml version="1.0"?>
     1.5 +
     1.6 +<!-- This Source Code Form is subject to the terms of the Mozilla Public
     1.7 +   - License, v. 2.0. If a copy of the MPL was not distributed with this
     1.8 +   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
     1.9 +
    1.10 +<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
    1.11 +
    1.12 +<!DOCTYPE dialog SYSTEM "chrome://global/locale/customizeCharset.dtd">
    1.13 +
    1.14 +<dialog xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
    1.15 +        title="&title.label;"
    1.16 +        onload="Init();"
    1.17 +        ondialogaccept="return Save();"
    1.18 +        persist="width height">
    1.19 +
    1.20 +  <script type="application/javascript" src="chrome://global/content/customizeCharset.js"/>
    1.21 +  <script type="application/javascript">
    1.22 +  <![CDATA[
    1.23 +    var observerService = Components.classes["@mozilla.org/observer-service;1"].getService(Components.interfaces.nsIObserverService);
    1.24 +    observerService.notifyObservers(null, "charsetmenu-selected", "other");
    1.25 +  ]]>
    1.26 +  </script>
    1.27 +  
    1.28 +  <!-- The two-pane -->
    1.29 +  <hbox flex="1">
    1.30 +    <vbox flex="1">
    1.31 +      <label value="&additional.label;" control="available_charsets"/>
    1.32 +      <!-- Available Charsets Tree -->
    1.33 +      <listbox id="available_charsets" flex="1" seltype="multiple"
    1.34 +            onfocus = "document.getElementById('active_charsets').clearSelection(); this.selectItem(this.currentItem || this.getItemAtIndex(0));"
    1.35 +            onselect="update_buttons();"
    1.36 +            ondblclick="AddAvailableCharset();"/>
    1.37 +      
    1.38 +      <separator class="thin"/>
    1.39 +      
    1.40 +      <hbox align="center">
    1.41 +        <button id="add_button" oncommand="AddAvailableCharset();"
    1.42 +                label="&add.label;" icon="add"  accesskey="&add.accessKey;"/>
    1.43 +      </hbox>
    1.44 +    </vbox>
    1.45 +    
    1.46 +    <separator orient="vertical"/>
    1.47 +    
    1.48 +    <vbox flex="1">
    1.49 +      <label value="&current.label;" control="active_charsets"/>
    1.50 +      <listbox id="active_charsets" flex="1" seltype="multiple"
    1.51 +            onfocus = "document.getElementById('available_charsets').clearSelection(); this.selectItem(this.currentItem || this.getItemAtIndex(0));"
    1.52 +            onselect="update_buttons();"
    1.53 +            ondblclick="RemoveActiveCharset();"/>
    1.54 +      
    1.55 +      <separator class="thin"/>
    1.56 +      <hbox align="center">
    1.57 +        <button id="up_button" label="&moveUp.label;" icon="go-up"
    1.58 +                accesskey="&moveUp.accessKey;" oncommand="MoveUp();"/>
    1.59 +        <button id="down_button" label="&moveDown.label;" icon="go-down"
    1.60 +                accesskey="&moveDown.accessKey;" oncommand="MoveDown();"/>
    1.61 +        <button id="remove_button" oncommand="RemoveActiveCharset();" icon="remove"
    1.62 +                label="&remove.label;" accesskey="&remove.accessKey;"/>
    1.63 +      </hbox>
    1.64 +    </vbox> 
    1.65 +  </hbox>
    1.66 +</dialog>