This is a static dump of issues in the old "Flyspray" bugtracker for DokuWiki. Bugs and feature requests are now tracked at the
issue tracker at Github
FS#967 filename attribute for the <file> tag
it would be nice to have a filename attribute in the <file> tag.
and this filename would be displayed at the top (or the bottom) of the resulting box.
See the code plugin,
To display a source file along with its name see the source plugin,