File: grid-filter-local.html

package info (click to toggle)
libjs-extjs 3.4.0%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 53,188 kB
  • ctags: 3,384
  • sloc: php: 819; xml: 537; python: 60; sql: 44; makefile: 35
file content (54 lines) | stat: -rw-r--r-- 2,240 bytes parent folder | download | duplicates (5) 
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
 
<html>
<head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <title>Custom Grid Filters</title>

    <!-- ** CSS ** -->
    <!-- base library -->
    <link rel="stylesheet" type="text/css" href="../../resources/css/ext-all.css" />

    <!-- overrides to base library -->
    <link rel="stylesheet" type="text/css" href="../ux/gridfilters/css/GridFilters.css" />
    <link rel="stylesheet" type="text/css" href="../ux/gridfilters/css/RangeMenu.css" />

    <!-- page specific -->
    <link rel="stylesheet" type="text/css" href="../shared/examples.css" />

	<style type="text/css">
    </style>

    <!-- ** Javascript ** -->
    <!-- ExtJS library: base/adapter -->
    <script type="text/javascript" src="../../adapter/ext/ext-base.js"></script>

    <!-- ExtJS library: all widgets -->
    <script type="text/javascript" src="../../ext-all.js"></script>

    <!-- overrides to base library -->

    <!-- extensions -->
	<script type="text/javascript" src="../ux/gridfilters/menu/RangeMenu.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/menu/ListMenu.js"></script>
	
	<script type="text/javascript" src="../ux/gridfilters/GridFilters.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/filter/Filter.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/filter/StringFilter.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/filter/DateFilter.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/filter/ListFilter.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/filter/NumericFilter.js"></script>
	<script type="text/javascript" src="../ux/gridfilters/filter/BooleanFilter.js"></script>

    <!-- page specific -->
    <script type="text/javascript" src="../shared/examples.js"></script>
	<script type="text/javascript" src="grid-filter-local.js"></script>

</head>
<body>
    <h1>Custom Grid Filters Example (local filtering)</h1>
    <p>This example demonstrates a custom Grid Filter Extension.</p>
    <p>Note that the js is not minified so it is readable. See <a href="grid-filter-local.js">grid-filter-local.js</a>.</p>

	<div id="grid-example" style="margin: 10px;"></div>
    
</body>
</html>