The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
This is not really a bug - more of a small feature request.
The HeaderClock is, well, a clock. It displays the time. It would be nice if it could display the date as well. I spent more time than I will admit trying to figure out why, when I set time_format on Header() to "%c" the time is displayed as 'Mon Jan 1 22:36:22 1900'. In fact, it is because line 92 in header.py says:
That would allow date formatting strings to be used as well, for those of us who can't remember what day it is. You might also need to change the default width on HeaderClockSpace to auto.
This is not really a bug - more of a small feature request.
The HeaderClock is, well, a clock. It displays the time. It would be nice if it could display the date as well. I spent more time than I will admit trying to figure out why, when I set
time_format
onHeader()
to"%c"
the time is displayed as'Mon Jan 1 22:36:22 1900'
. In fact, it is because line 92 inheader.py
says:When a
datetime
is converted bytime()
, all date info is stripped.The
time()
seems unnecessary. I propose that the line be replaced byThat would allow date formatting strings to be used as well, for those of us who can't remember what day it is. You might also need to change the default
width
onHeaderClockSpace
toauto
.I'll do a PR if you really want one :)