Fix: In Settings screen, right-clicking on 'Undo pages' didn't clear the value.

git-svn-id: svn://pulkomandy.tk/GrafX2/trunk@837 416bcca6-2ee7-4201-b75f-2eb2f807beb1
This commit is contained in:
Yves Rizoud 2009-06-06 14:21:07 +00:00
parent c2da50357a
commit a92fd3da13

View File

@ -902,7 +902,6 @@ void Button_Settings(void)
Config_choisie.Mouse_sensitivity_index_y=Window_attribute2+1; Config_choisie.Mouse_sensitivity_index_y=Window_attribute2+1;
break; break;
case 21 : // Nb pages Undo case 21 : // Nb pages Undo
Wait_end_of_click();
Num2str(Config_choisie.Max_undo_pages,str,2); Num2str(Config_choisie.Max_undo_pages,str,2);
Readline(142,52,str,2,1); Readline(142,52,str,2,1);
Config_choisie.Max_undo_pages=atoi(str); Config_choisie.Max_undo_pages=atoi(str);
@ -920,6 +919,8 @@ void Button_Settings(void)
Window_input_content(Window_special_button_list,str); Window_input_content(Window_special_button_list,str);
} }
Display_cursor(); Display_cursor();
Key=0;
Wait_end_of_click();
} }
if ((clicked_button>=3) && (clicked_button<=4)) if ((clicked_button>=3) && (clicked_button<=4))