Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

feat: add support for custom keybindings and editor actions in the REPL #2739

Merged
merged 20 commits into from
Nov 23, 2024
Merged
Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions lib/node_modules/@stdlib/repl/lib/defaults.js
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@

var stdin = require( '@stdlib/streams/node/stdin' );
var stdout = require( '@stdlib/streams/node/stdout' );
var KEYBINDINGS = require( './keybindings.js' );
var WELCOME = require( './welcome_text.js' );


Expand Down Expand Up @@ -78,6 +79,9 @@ function defaults() {
// Flag indicating whether log information, confirmation messages, and other possible REPL diagnostics should be silenced:
'quiet': false,

// REPL keybindings:
'keybindings': KEYBINDINGS,

// User settings:
'settings': {
// Flag indicating whether to automatically insert matching brackets, parentheses, and quotes:
Expand Down
Loading
Loading