start editor

Former-commit-id: 7e783c70c379de0ae358ef3d887f0ebeb7926f57 [formerly abd06579471497ba043468705153bbb3eddc0a2d] [formerly 25b070c4daaa985ff8ce4a088f0bd61e56e98df8 [formerly 289171c092f335c78f860a35f3588102052a465e]]
Former-commit-id: ad79c60db1adb2008c47f66bf6ca9633243352e1 [formerly b121cb669150710898110d5a726ff7b6e3319d37]
Former-commit-id: b0f3fb734f550b7e6a6f46a40548ea40ecff614d

_assets/src/components/DownloadButton.vue

@@ -2,6 +2,7 @@
     <button @click="download" aria-label="Download" title="Download" class="action">
         <i class="material-icons">file_download</i>
         <span>Download</span>
+        <span v-if="count() > 0" class="counter">{{ count() }}</span>
     </button>
 </template>
 
@@ -11,6 +12,9 @@ var $ = window.info
 export default {
   name: 'download-button',
   methods: {
+    count: function () {
+      return $.selected.length
+    },
     download: function (event) {
       if ($.req.kind !== 'listing') {
         window.location = window.location.pathname + '?download=true'