projects / rocksndiamonds.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99a8723) | patch
added options "played_header" and "played" to music file info
authorHolger Schemel <info@artsoft.org>
Thu, 1 Jun 2023 21:22:37 +0000 (23:22 +0200)
committerHolger Schemel <info@artsoft.org>
Thu, 1 Jun 2023 21:30:37 +0000 (23:30 +0200)
commit0de8deae39ba2513085fda971cd122542b8d946b
tree0f42b46a1517b8d9bdaf850e0802e45927ca097ctree | snapshot
parent99a872330e763df6ec76e27dd17781bb48c190bdcommit | diff
added options "played_header" and "played" to music file info

If option "played" is specified in the music file info, it overrides
a potentially detected level number to be displayed for this option.

The option "played_header" can be used to replace the text "played in"
with a different header text.
src/files.c diff | blob | history
src/main.h diff | blob | history
src/screens.c diff | blob | history
Rocks'n'Diamonds