7a3a9066f9
Adds the following conventional readline-like keybindings: - `Ctrl+H`: Delete the previous character. - `Ctrl+D`: Delete the next character. Additionally, remaps the Debug Console command from Ctrl+D to Ctrl+O, which had been first introduced in PR #486.
35 lines
812 B
TypeScript
35 lines
812 B
TypeScript
/**
|
|
* @license
|
|
* Copyright 2025 Google LLC
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
import React from 'react';
|
|
import { Box, Text } from 'ink';
|
|
import { Colors } from '../colors.js';
|
|
|
|
interface ConsoleSummaryDisplayProps {
|
|
errorCount: number;
|
|
// logCount is not currently in the plan to be displayed in summary
|
|
}
|
|
|
|
export const ConsoleSummaryDisplay: React.FC<ConsoleSummaryDisplayProps> = ({
|
|
errorCount,
|
|
}) => {
|
|
if (errorCount === 0) {
|
|
return null;
|
|
}
|
|
|
|
const errorIcon = '\u2716'; // Heavy multiplication x (✖)
|
|
|
|
return (
|
|
<Box>
|
|
{errorCount > 0 && (
|
|
<Text color={Colors.AccentRed}>
|
|
{errorIcon} {errorCount} error{errorCount > 1 ? 's' : ''}{' '}
|
|
<Text color={Colors.SubtleComment}>(CTRL-O for details)</Text>
|
|
</Text>
|
|
)}
|
|
</Box>
|
|
);
|
|
};
|