File: timepicker.xhtml

package info (click to toggle)
firefox-esr 128.13.0esr-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,230,012 kB
  • sloc: cpp: 7,103,971; javascript: 6,088,450; ansic: 3,653,980; python: 1,212,330; xml: 594,604; asm: 420,652; java: 182,969; sh: 71,124; makefile: 20,747; perl: 13,449; objc: 12,399; yacc: 4,583; cs: 3,846; pascal: 2,973; lex: 1,720; ruby: 1,194; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10
file content (38 lines) | stat: -rw-r--r-- 1,422 bytes parent folder | download | duplicates (12)
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
<?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" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
%htmlDTD; ]>
<html
  xmlns="http://www.w3.org/1999/xhtml"
  xmlns:xul="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
>
  <head>
    <title>Time Picker</title>
    <link
      rel="stylesheet"
      href="chrome://global/skin/datetimeinputpickers.css"
    />
    <script src="chrome://global/content/bindings/timekeeper.js"></script>
    <script src="chrome://global/content/bindings/spinner.js"></script>
    <script src="chrome://global/content/bindings/timepicker.js"></script>
  </head>
  <body>
    <div id="time-picker"></div>
    <template id="spinner-template">
      <div class="spinner-container">
        <button class="up" />
        <div class="spinner"></div>
        <button class="down" />
      </div>
    </template>
    <script>
      /* import-globals-from widgets/timepicker.js */
      // Create a TimePicker instance and prepare to be
      // initialized by the "TimePickerInit" event from timepicker.xml
      new TimePicker(document.getElementById("time-picker"));
    </script>
  </body>
</html>