wplayer

Check-in [8664b8534d]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Scroll to top when no recorded path
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | master | trunk
Files: files | file ages | folders
SHA3-256: 8664b8534d6494206aa01916d211a6003d31d556adc5bc420d55a4e1d0cf30bf
User & Date: vandys 2020-05-17 18:08:00
Context
2020-05-18
02:45
Hmm, simplify to try and make old FxOS happy check-in: 1656c688b9 user: vandys tags: master, trunk
2020-05-17
18:08
Scroll to top when no recorded path check-in: 8664b8534d user: vandys tags: master, trunk
2019-07-27
14:09
Another filename extension for jpg check-in: 348effbec5 user: vandys tags: master, trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to js/player.js.

3
4
5
6
7
8
9

10
11
12
13
14
15
16
...
135
136
137
138
139
140
141

142
143
144


145
146
147
148
149
150
151
//	One-page-app to play music from a web server
//
// This source file is written for pre-ES5, because:
//  The Tint browser does mp3/ogg/flac, but not ES5/ES6
//  Chrome does mp3/ogg/flac and ES6, but crashes on my tablet
//  Firefox does mp3/ogg and ES6, but not flac (on Android, thanks)
//



// The HTML5 player
var player = document.getElementById("player");

// File/dir browsing
var browser = document.getElementById("browser");
................................................................................


// Restore to scroll position
function gopos() {
    if (searchval.value != '') {
	return;
    }

    if (path in pscroll) {
	var d = document.scrollingElement;
	d.scrollTop = pscroll[path];


    }
}


// Answer back on dir contents
function gotDir(req) {
    var d, f, res;







>







 







>

<

>
>







3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
...
136
137
138
139
140
141
142
143
144

145
146
147
148
149
150
151
152
153
154
//	One-page-app to play music from a web server
//
// This source file is written for pre-ES5, because:
//  The Tint browser does mp3/ogg/flac, but not ES5/ES6
//  Chrome does mp3/ogg/flac and ES6, but crashes on my tablet
//  Firefox does mp3/ogg and ES6, but not flac (on Android, thanks)
//
"use strict";


// The HTML5 player
var player = document.getElementById("player");

// File/dir browsing
var browser = document.getElementById("browser");
................................................................................


// Restore to scroll position
function gopos() {
    if (searchval.value != '') {
	return;
    }
    const d = document.scrollingElement;
    if (path in pscroll) {

	d.scrollTop = pscroll[path];
    } else {
	d.scrollTop = 0;
    }
}


// Answer back on dir contents
function gotDir(req) {
    var d, f, res;