Don't end up killing init if process selected to be killed terminates before the user selects a signal. Closes #3606072.

This commit is contained in:
Hisham Muhammad
2013-02-26 20:24:27 +00:00
parent a0810561f3
commit ee5dc46fee
2 changed files with 10 additions and 4 deletions

View File

@ -173,7 +173,8 @@ void ScreenManager_run(ScreenManager* this, Panel** lastFocus, int* lastKey) {
for (int i = 0; i < this->panelCount; i++) {
Panel* panel = (Panel*) Vector_get(this->panels, i);
if (mevent.x > panel->x && mevent.x <= panel->x+panel->w &&
mevent.y > panel->y && mevent.y <= panel->y+panel->h) {
mevent.y > panel->y && mevent.y <= panel->y+panel->h &&
(this->allowFocusChange || panelFocus == panel) ) {
focus = i;
panelFocus = panel;
Panel_setSelected(panel, mevent.y - panel->y + panel->scrollV - 1);