examples/grid-filtering/grid-filter-local.html

   1 <html>
   2 <head>
   3     <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   4     <title>Custom Grid Filters</title>
   5
   6     <!-- ** CSS ** -->
   7     <!-- base library -->
   8     <link rel="stylesheet" type="text/css" href="../../resources/css/ext-all.css" />
   9
  10     <!-- overrides to base library -->
  11     <link rel="stylesheet" type="text/css" href="../ux/gridfilters/css/GridFilters.css" />
  12     <link rel="stylesheet" type="text/css" href="../ux/gridfilters/css/RangeMenu.css" />
  13
  14     <!-- page specific -->
  15     <link rel="stylesheet" type="text/css" href="../shared/examples.css" />
  16
  17         <style type="text/css">
  18     </style>
  19
  20     <!-- ** Javascript ** -->
  21     <!-- ExtJS library: base/adapter -->
  22     <script type="text/javascript" src="../../adapter/ext/ext-base.js"></script>
  23
  24     <!-- ExtJS library: all widgets -->
  25     <script type="text/javascript" src="../../ext-all.js"></script>
  26
  27     <!-- overrides to base library -->
  28
  29     <!-- extensions -->
  30         <script type="text/javascript" src="../ux/gridfilters/menu/RangeMenu.js"></script>
  31         <script type="text/javascript" src="../ux/gridfilters/menu/ListMenu.js"></script>
  32
  33         <script type="text/javascript" src="../ux/gridfilters/GridFilters.js"></script>
  34         <script type="text/javascript" src="../ux/gridfilters/filter/Filter.js"></script>
  35         <script type="text/javascript" src="../ux/gridfilters/filter/StringFilter.js"></script>
  36         <script type="text/javascript" src="../ux/gridfilters/filter/DateFilter.js"></script>
  37         <script type="text/javascript" src="../ux/gridfilters/filter/ListFilter.js"></script>
  38         <script type="text/javascript" src="../ux/gridfilters/filter/NumericFilter.js"></script>
  39         <script type="text/javascript" src="../ux/gridfilters/filter/BooleanFilter.js"></script>
  40
  41     <!-- page specific -->
  42     <script type="text/javascript" src="../shared/examples.js"></script>
  43         <script type="text/javascript" src="grid-filter-local.js"></script>
  44
  45 </head>
  46 <body>
  47     <h1>Custom Grid Filters Example (local filtering)</h1>
  48     <p>This example demonstrates a custom Grid Filter Extension.</p>
  49     <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>
  50
  51         <div id="grid-example" style="margin: 10px;"></div>
  52
  53 </body>
  54 </html>