DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54
<?xml version="1.0" encoding="UTF-8"?>
<!-- This Source Code Form is subject to the terms of the Mozilla Public
   - License, v. 2.0. If a copy of the MPL was not distributed with this
   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->

<?xml-stylesheet href="chrome://global/skin/" type="text/css" ?>

<!DOCTYPE dialog>

<dialog
  xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
  xmlns:html="http://www.w3.org/1999/xhtml"
  id="otr-fingerwindow"
  data-l10n-id="otr-finger"
  data-l10n-attrs="buttonlabelaccept"
  onload="otrFinger.onload()"
  buttons="accept">

  <linkset>
    <html:link rel="localization" href="messenger/otr/finger.ftl"/>
  </linkset>

  <script src="chrome://chat/content/otr-finger.js"/>

  <label data-l10n-id="finger-intro" />
  <separator class="thin"/>
  <vbox id="fingerprints" class="contentPane" flex="1">
    <tree id="fingerTree"
          flex="1"
          width="800"
          style="height: 20em;"
          onselect="otrFinger.select()">
      <treecols>
        <treecol id="screenname" data-l10n-id="finger-screenName" flex="20" />
        <splitter class="tree-splitter"/>
        <treecol id="fingerprint" data-l10n-id="finger-fingerprint" flex="120" />
        <splitter class="tree-splitter"/>
        <treecol id="verified" data-l10n-id="finger-verified" flex="10" />
        <splitter class="tree-splitter"/>
      </treecols>
      <treechildren/>
    </tree>
    <separator class="thin"/>
    <hbox>
      <button id="remove"
              data-l10n-id="finger-remove"
              disabled="true"
              oncommand="otrFinger.remove()"/>
      <button id="remove-all"
              data-l10n-id="finger-remove-all"
              oncommand="otrFinger.removeAll()"/>
    </hbox>
  </vbox>
</dialog>