use custom format string for time preference

This commit is contained in:
Will Song
2015-01-27 19:55:16 -06:00
parent 6529220351
commit 7f436d614b
5 changed files with 15 additions and 47 deletions

View File

@@ -919,12 +919,10 @@ void
cons_time_setting(void)
{
char *pref_time = prefs_get_string(PREF_TIME);
if (g_strcmp0(pref_time, "minutes") == 0)
cons_show("Time (/time) : minutes");
else if (g_strcmp0(pref_time, "off") == 0)
if (g_strcmp0(pref_time, "off") == 0)
cons_show("Time (/time) : OFF");
else
cons_show("Time (/time) : seconds");
cons_show("Time (/time) : %s", pref_time);
prefs_free_string(pref_time);
}