Really secure viewsource downloads

Aleksander Machniak

2016-01-28 43165ac07a8ad8d28b7b5c336b3ca9e186f1881e

 program/js/app.js

@@ -1228,7 +1228,7 @@
          location.href = this.secure_url(location.href.replace(/_frame=/, '_download='));
        }
        else if (uid = this.get_single_uid()) {
          this.goto_url('viewsource', this.params_from_uid(uid, {_save: 1}));
          this.goto_url('viewsource', this.params_from_uid(uid, {_save: 1}), false, true);
        }
        break;