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.

Mercurial (777e60ca8853)

VCS Links

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 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
<?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/.
-->
<!DOCTYPE html [
  <!ENTITY % htmlDTD PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "DTD/xhtml1-strict.dtd">
  %htmlDTD;
  <!ENTITY % netErrorDTD SYSTEM "chrome://global/locale/netError.dtd">
  %netErrorDTD;
  <!ENTITY % globalDTD SYSTEM "chrome://global/locale/global.dtd">
  %globalDTD;
  <!ENTITY % restorepageDTD SYSTEM "chrome://browser/locale/aboutSessionRestore.dtd">
  %restorepageDTD;
]>

<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>&restorepage.tabtitle;</title>
    <link rel="stylesheet" href="chrome://global/skin/netError.css" type="text/css" media="all"/>
    <link rel="stylesheet" href="chrome://browser/skin/aboutSessionRestore.css" type="text/css" media="all"/>
    <link rel="icon" type="image/png" href="chrome://global/skin/icons/warning-16.png"/>

    <script type="application/javascript;version=1.8" src="chrome://browser/content/aboutSessionRestore.js"/>
  </head>

  <body dir="&locale.dir;">

    <!-- PAGE CONTAINER (for styling purposes only) -->
    <div id="errorPageContainer">

      <!-- Error Title -->
      <div id="errorTitle">
        <h1 id="errorTitleText">&restorepage.errorTitle;</h1>
      </div>

      <!-- LONG CONTENT (the section most likely to require scrolling) -->
      <div id="errorLongContent">

        <!-- Short Description -->
        <div id="errorShortDesc">
          <p id="errorShortDescText">&restorepage.problemDesc;</p>
        </div>

        <!-- Long Description (Note: See netError.dtd for used XHTML tags) -->
        <div id="errorLongDesc">
          <p>&restorepage.tryThis;</p>
          <ul>
            <li>&restorepage.restoreSome;</li>
            <li>&restorepage.startNew;</li>
          </ul>
        </div>

        <!-- Short Description -->
        <div id="errorTrailerDesc">
          <tree xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
                id="tabList" flex="1" seltype="single" hidecolumnpicker="true"
                onclick="onListClick(event);" onkeydown="onListKeyDown(event);"
                _window_label="&restorepage.windowLabel;">
            <treecols>
              <treecol cycler="true" id="restore" type="checkbox" label="&restorepage.restoreHeader;"/>
              <splitter class="tree-splitter"/>
              <treecol primary="true" id="title" label="&restorepage.listHeader;" flex="1"/>
            </treecols>
            <treechildren flex="1"/>
          </tree>
        </div>
      </div>

      <!-- Buttons -->
      <hbox xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" id="buttons">
#ifdef XP_UNIX
        <button id="errorCancel" label="&restorepage.closeButton;"
                accesskey="&restorepage.close.access;"
                oncommand="startNewSession();"/>
        <button id="errorTryAgain" label="&restorepage.tryagainButton;"
                accesskey="&restorepage.restore.access;"
                oncommand="restoreSession();"/>
#else
        <button id="errorTryAgain" label="&restorepage.tryagainButton;"
                accesskey="&restorepage.restore.access;"
                oncommand="restoreSession();"/>
        <button id="errorCancel" label="&restorepage.closeButton;"
                accesskey="&restorepage.close.access;"
                oncommand="startNewSession();"/>
#endif
      </hbox>
      <!-- holds the session data for when the tab is closed -->
      <input type="text" id="sessionData" style="display: none;"/>
    </div>

  </body>
</html>