+ else if (x == (Time::FORMAT_NORMAL))
+ timestamp_optionmenu.set_history(1);
+ else if (x == (Time::FORMAT_NORMAL | Time::FORMAT_NOSPACES))
+ timestamp_optionmenu.set_history(2);
+ else if (x == (Time::FORMAT_NORMAL | Time::FORMAT_FULL))
+ timestamp_optionmenu.set_history(3);
+ else if (x == (Time::FORMAT_NORMAL | Time::FORMAT_NOSPACES | Time::FORMAT_FULL))
+ timestamp_optionmenu.set_history(4);
+ else if (x == (Time::FORMAT_FRAMES))
+ timestamp_optionmenu.set_history(5);