jupyterlab-slurm
Version:
A JupyterLab extension to interface with the Slurm workload manager.
63 lines • 3.23 kB
JavaScript
;
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k in mod) if (k !== "default" && Object.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
__setModuleDefault(result, mod);
return result;
};
Object.defineProperty(exports, "__esModule", { value: true });
const react_1 = __importStar(require("react"));
const react_bootstrap_1 = require("react-bootstrap");
class Pager extends react_1.Component {
constructor(props) {
super(props);
this.state = {
currentPage: 1,
};
}
handlePageChange(page) {
this.setState({ currentPage: page });
if (this.props.onChange) {
this.props.onChange(page);
}
}
render() {
const { numPages } = this.props;
const { currentPage } = this.state;
const startPage = Math.floor((currentPage - 1) / 5) * 5 + 1;
const range = [
startPage,
startPage + 1,
startPage + 2,
startPage + 3,
startPage + 4,
].filter(page => page >= 1 && page <= numPages);
const showFirstPageShortcut = range.indexOf(1) < 0;
const showLastPageShortcut = range.indexOf(numPages) < 0;
return (react_1.default.createElement(react_bootstrap_1.Pagination, null,
numPages > 1 && react_1.default.createElement(react_bootstrap_1.Pagination.Prev, { onClick: this.handlePageChange.bind(this, currentPage - 1) }),
showFirstPageShortcut && react_1.default.createElement(react_bootstrap_1.Pagination.Item, { onClick: this.handlePageChange.bind(this, 1) }, 1),
showFirstPageShortcut && react_1.default.createElement(react_bootstrap_1.Pagination.Ellipsis, null),
range.map((page, index) => page == currentPage
? react_1.default.createElement(react_bootstrap_1.Pagination.Item, { active: true, key: `page-${index}` }, currentPage)
: react_1.default.createElement(react_bootstrap_1.Pagination.Item, { onClick: this.handlePageChange.bind(this, page), key: `page-${index}` }, page)),
showLastPageShortcut && react_1.default.createElement(react_bootstrap_1.Pagination.Ellipsis, null),
showLastPageShortcut && react_1.default.createElement(react_bootstrap_1.Pagination.Item, { onClick: this.handlePageChange.bind(this, numPages) }, numPages),
numPages > 1 && react_1.default.createElement(react_bootstrap_1.Pagination.Next, { onClick: this.handlePageChange.bind(this, currentPage + 1) })));
}
}
exports.default = Pager;
//# sourceMappingURL=Pager.js.map