Mario Zechner
0131b29b2c
- renderDifferential now correctly handles content that exceeds viewport - When changes are above viewport, do full re-render with scrollback clear - When changes are in viewport, do partial re-render from change point - All tests pass, correctly preserves 100 items in scrollback - Issue: Still re-renders too much (entire tail from first change)
10 lines
316 B
JavaScript
10 lines
316 B
JavaScript
#!/usr/bin/env node
|
|
"use strict";
|
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
var main_js_1 = require("./main.js");
|
|
// Run as CLI - this file should always be executed, not imported
|
|
(0, main_js_1.main)(process.argv.slice(2)).catch(function (err) {
|
|
console.error(err);
|
|
process.exit(1);
|
|
});
|