Differences From Artifact [ccd70f1e6b]:

• File core/tune.js — part of check-in [f8deb30556] at 2017-10-19 17:21:36 on branch trunk — core: handle microtone in K: with accidental list Reported by Hudson Lacerda. (user: moinejf@free.fr size: 46922)

To Artifact [8e1d4e4e9a]:

• File core/tune.js — part of check-in [60402c5fdf] at 2017-10-24 08:03:43 on branch trunk — core: fix: handle 'nosvg' in %%beginps (user: moinejf@free.fr size: 46940)

1385
1386
1387
1388
1389
1390
1391
1392

1393
1394
1395
1396
1397
1398
1399

1385
1386
1387
1388
1389
1390
1391

1392
1393
1394
1395
1396
1397
1398
1399

-
+

			opt,
			text) {
	var i, j, action, s

	switch (type) {
	default:
//	case "ps":
		if (psvg)
		if (opt != 'nosvg' && psvg)
			psvg.ps_eval(text)
		break
	case "js":
		eval(text)
		break
	case "ml":
		if (parse.state >= 2) {