diff options
Diffstat (limited to 'web/public')
| -rw-r--r-- | web/public/js/taginfo.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/web/public/js/taginfo.js b/web/public/js/taginfo.js index 83926e3..8a9216e 100644 --- a/web/public/js/taginfo.js +++ b/web/public/js/taginfo.js @@ -123,6 +123,10 @@ function print_with_ts(value) { } } +function print_checkmark(value) { + return value ? '✔' : '-'; +} + /* ============================ */ function print_key_or_tag_list(list) { |