2018-05-07 01:42:19 +08:00
|
|
|
<!DOCTYPE HTML>
|
2020-09-23 16:23:38 +08:00
|
|
|
<html lang="en">
|
2018-05-07 01:42:19 +08:00
|
|
|
<head>
|
2020-09-23 16:23:38 +08:00
|
|
|
<meta charset="utf-8">
|
2018-05-07 01:42:19 +08:00
|
|
|
|
|
|
|
|
<link href="../dist/jsoneditor.css" rel="stylesheet" type="text/css">
|
|
|
|
|
<script src="../dist/jsoneditor.js"></script>
|
|
|
|
|
|
|
|
|
|
<style type="text/css">
|
|
|
|
|
body {
|
|
|
|
|
font: 10.5pt arial;
|
|
|
|
|
color: #4d4d4d;
|
|
|
|
|
line-height: 150%;
|
|
|
|
|
width: 500px;
|
|
|
|
|
padding-left: 40px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
code {
|
|
|
|
|
background-color: #f5f5f5;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#jsoneditor {
|
|
|
|
|
width: 500px;
|
|
|
|
|
height: 500px;
|
|
|
|
|
}
|
|
|
|
|
</style>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<p>
|
|
|
|
|
Switch editor mode using the mode box.
|
|
|
|
|
Note that the mode can be changed programmatically as well using the method
|
|
|
|
|
<code>editor.setMode(mode)</code>, try it in the console of your browser.
|
|
|
|
|
</p>
|
|
|
|
|
|
2018-05-31 03:54:25 +08:00
|
|
|
<div id="jsoneditor"></div>
|
2018-05-07 01:42:19 +08:00
|
|
|
|
|
|
|
|
<script>
|
|
|
|
|
var container = document.getElementById('jsoneditor');
|
|
|
|
|
|
|
|
|
|
var options = {
|
|
|
|
|
mode: 'tree',
|
2019-07-09 02:00:34 +08:00
|
|
|
modes: ['code', 'form', 'text', 'tree', 'view', 'preview'], // allowed modes
|
2018-05-07 01:42:19 +08:00
|
|
|
onError: function (err) {
|
|
|
|
|
console.error(err);
|
|
|
|
|
alert(err.toString());
|
|
|
|
|
},
|
|
|
|
|
onChange: function () {
|
|
|
|
|
console.log('change');
|
|
|
|
|
},
|
|
|
|
|
indentation: 4,
|
|
|
|
|
escapeUnicode: true
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
var json = {
|
2018-05-17 03:17:56 +08:00
|
|
|
empty: [],
|
|
|
|
|
numbers: [],
|
|
|
|
|
abc: 123,
|
2018-05-07 01:42:19 +08:00
|
|
|
array: [],
|
|
|
|
|
object: { a: 2, b: 3}
|
|
|
|
|
};
|
|
|
|
|
for (var i = 0; i < 10000; i++) {
|
2018-07-03 04:09:40 +08:00
|
|
|
var longitude = 4 + i / 10000;
|
|
|
|
|
var latitude = 51 + i / 10000;
|
|
|
|
|
|
2018-05-17 03:17:56 +08:00
|
|
|
json.numbers.push(i);
|
2018-05-07 01:42:19 +08:00
|
|
|
json.array.push({
|
|
|
|
|
name: 'Item ' + i,
|
2019-04-01 01:51:12 +08:00
|
|
|
id: String(i),
|
2018-05-07 01:42:19 +08:00
|
|
|
index: i,
|
2018-05-30 15:48:51 +08:00
|
|
|
time: new Date().toISOString(),
|
|
|
|
|
location: {
|
2018-07-11 16:54:08 +08:00
|
|
|
latitude: longitude,
|
|
|
|
|
longitude: latitude,
|
2018-07-03 04:09:40 +08:00
|
|
|
coordinates: [longitude, latitude]
|
2018-05-31 03:54:25 +08:00
|
|
|
},
|
|
|
|
|
random: Math.random()
|
2018-05-07 01:42:19 +08:00
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
var editor = new JSONEditor(container, options, json);
|
|
|
|
|
</script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
