diff options
Diffstat (limited to 'src/ui_elements/UI.h')
| -rw-r--r-- | src/ui_elements/UI.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ui_elements/UI.h b/src/ui_elements/UI.h index e48804e..356c2f4 100644 --- a/src/ui_elements/UI.h +++ b/src/ui_elements/UI.h @@ -50,6 +50,7 @@ static const int PAGE_DOTS_RADIUS = 3; static const char PAGE_DOTS_TRANSPARENCY = (char)192; /// Draws the little dots that represent the page you are on +// !! Not used anywhere at this moment void DrawPageView(int y, unsigned int pages, unsigned int current_page); // ========== TEXT EDITOR ========== @@ -104,4 +105,8 @@ void FreeTextArea(TextArea *ta); /// and vertical orientation void GetPanesSplit(Rectangle *pane1, Rectangle *pane2, Rectangle body, float proportion_h, float proportion_v); +/// Prints the time in the format MM:SS to the trg. +/// It is expected that size of outp buffer is at least 16 bytes +void PrintTime(char *trg, size_t seconds); + #endif // UI_ELEMENTS_H |