mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
terminal: drop notifications about executed commands from shell integration (IDEA-205457, IDEA-204745)
This commit is contained in:
@@ -28,16 +28,6 @@ public class JBTerminalStarter extends TerminalStarter {
|
||||
|
||||
@Override
|
||||
protected JediEmulator createEmulator(TerminalDataStream dataStream, Terminal terminal) {
|
||||
return new JediEmulator(dataStream, terminal) {
|
||||
@Override
|
||||
protected void unsupported(char... sequenceChars) {
|
||||
if (sequenceChars[0] == 7) { //ESC BEL
|
||||
JBTerminalPanel.refreshAfterExecution();
|
||||
}
|
||||
else {
|
||||
super.unsupported();
|
||||
}
|
||||
}
|
||||
};
|
||||
return new JediEmulator(dataStream, terminal);
|
||||
}
|
||||
}
|
||||
|
||||
@@ -62,16 +62,6 @@ bind '"\e\e[D": backward-word'
|
||||
bind '"\e\O[C":forward-word'
|
||||
bind '"\e\O[D": backward-word'
|
||||
|
||||
function generate_command_executed_sequence() {
|
||||
printf '\e\7'
|
||||
}
|
||||
|
||||
export -f generate_command_executed_sequence
|
||||
|
||||
|
||||
#generate escape sequence after command is executed to notify jediterm emulator
|
||||
trap "generate_command_executed_sequence" DEBUG
|
||||
|
||||
if [ -n "$JEDITERM_USER_RCFILE" ]
|
||||
then
|
||||
source "$JEDITERM_USER_RCFILE"
|
||||
|
||||
Reference in New Issue
Block a user