QuakeTerminal CreateNewTerminal()
{
var terminal = new QuakeTerminal();
terminal.TerminalBlurred += new EventHandler(OnTerminalBlurred);
terminal.TerminalFocused += new EventHandler(OnTerminalFocused);
return terminal;
}
void OnTerminalBlurred(object sender, EventArgs e)
{
var terminal = (QuakeTerminal)sender;
if (terminal == FocusedTerminal)
{
EnableOrDisableTerminalHotKeys(false);
FocusedTerminal = null;
}
}
QuakeTerminal CreateNewTerminal()
{
var terminal = new QuakeTerminal();
terminal.TerminalBlurred += new EventHandler(OnTerminalBlurred);
terminal.TerminalFocused += new EventHandler(OnTerminalFocused);
return terminal;
}
void OnTerminalFocused(object sender, EventArgs e)
{
FocusedTerminal = (QuakeTerminal)sender;
EnableOrDisableTerminalHotKeys(true);
LastFocusedTerminal = FocusedTerminal;
}
void OnTerminalBlurred(object sender, EventArgs e)
{
var terminal = (QuakeTerminal)sender;
if (terminal == FocusedTerminal)
{
EnableOrDisableTerminalHotKeys(false);
FocusedTerminal = null;
}
}
void OnTerminalFocused(object sender, EventArgs e)
{
FocusedTerminal = (QuakeTerminal)sender;
EnableOrDisableTerminalHotKeys(true);
LastFocusedTerminal = FocusedTerminal;
}