+++ /dev/null
-<html>
-<head>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
- <title>The source code</title>
- <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
- <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
-</head>
-<body onload="prettyPrint();">
- <pre class="prettyprint lang-js">/*!
- * Ext JS Library 3.3.0
- * Copyright(c) 2006-2010 Ext JS, Inc.
- * licensing@extjs.com
- * http://www.extjs.com/license
- */
-<div id="prop-Ext.DataView.LabelEditor-SlidingPager"></div>/**
- * Plugin for PagingToolbar which replaces the textfield input with a slider
- */
-Ext.ux.SlidingPager = Ext.extend(Object, {
- init : function(pbar){
- var idx = pbar.items.indexOf(pbar.inputItem);
- Ext.each(pbar.items.getRange(idx - 2, idx + 2), function(c){
- c.hide();
- });
- var slider = new Ext.Slider({
- width: 114,
- minValue: 1,
- maxValue: 1,
- plugins: new Ext.slider.Tip({
- getText : function(thumb) {
- return String.format('Page <b>{0}</b> of <b>{1}</b>', thumb.value, thumb.slider.maxValue);
- }
- }),
- listeners: {
- changecomplete: function(s, v){
- pbar.changePage(v);
- }
- }
- });
- pbar.insert(idx + 1, slider);
- pbar.on({
- change: function(pb, data){
- slider.setMaxValue(data.pages);
- slider.setValue(data.activePage);
- }
- });
- }
-});</pre>
-</body>
-</html>
\ No newline at end of file