2015-12-28 00:36:59 +08:00
|
|
|
<!DOCTYPE HTML>
|
2020-09-23 16:23:38 +08:00
|
|
|
<html lang="en">
|
2015-12-28 00:36:59 +08:00
|
|
|
<head>
|
2020-09-23 16:23:38 +08:00
|
|
|
<meta charset="utf-8">
|
|
|
|
|
|
2017-05-16 14:20:30 +08:00
|
|
|
<title>JSONEditor | Custom styling</title>
|
2015-12-28 00:36:59 +08:00
|
|
|
|
2017-05-16 14:20:30 +08:00
|
|
|
<link href="../dist/jsoneditor.css" rel="stylesheet" type="text/css">
|
|
|
|
|
<script src="../dist/jsoneditor.js"></script>
|
2017-05-15 12:31:20 +08:00
|
|
|
|
2017-05-16 14:20:30 +08:00
|
|
|
<style type="text/css">
|
|
|
|
|
#jsoneditor {
|
|
|
|
|
width: 500px;
|
|
|
|
|
height: 500px;
|
|
|
|
|
}
|
2015-12-28 00:36:59 +08:00
|
|
|
|
2017-05-16 14:20:30 +08:00
|
|
|
p {
|
|
|
|
|
width: 500px;
|
|
|
|
|
font-family: "DejaVu Sans", sans-serif;
|
|
|
|
|
}
|
|
|
|
|
</style>
|
2015-12-28 00:36:59 +08:00
|
|
|
|
2017-05-16 14:20:30 +08:00
|
|
|
<link href="./css/darktheme.css" rel="stylesheet" type="text/css">
|
2015-12-28 00:36:59 +08:00
|
|
|
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
2019-08-29 21:45:32 +08:00
|
|
|
<p>
|
|
|
|
|
This example demonstrates how to customize the look of JSONEditor,
|
|
|
|
|
the editor below has a dark theme. Note that the example isn't worked
|
|
|
|
|
out for the mode <code>code</code>. To do that, you can load and configure
|
|
|
|
|
a custom theme for the Ace editor.
|
|
|
|
|
</p>
|
2015-12-28 00:36:59 +08:00
|
|
|
|
2019-08-29 21:45:32 +08:00
|
|
|
<div id="jsoneditor"></div>
|
2015-12-28 00:36:59 +08:00
|
|
|
|
2019-08-29 21:45:32 +08:00
|
|
|
<script>
|
2015-12-28 00:36:59 +08:00
|
|
|
// create the editor
|
2019-08-29 21:45:32 +08:00
|
|
|
const container = document.getElementById('jsoneditor')
|
|
|
|
|
const options = {
|
2020-09-09 15:05:04 +08:00
|
|
|
modes: ['tree', 'text']
|
2019-08-29 21:45:32 +08:00
|
|
|
}
|
|
|
|
|
const json = {
|
2015-12-28 00:36:59 +08:00
|
|
|
'array': [1, 2, 3],
|
|
|
|
|
'boolean': true,
|
|
|
|
|
'null': null,
|
|
|
|
|
'number': 123,
|
|
|
|
|
'object': {'a': 'b', 'c': 'd'},
|
|
|
|
|
'string': 'Hello World'
|
2019-08-29 21:45:32 +08:00
|
|
|
}
|
|
|
|
|
const editor = new JSONEditor(container, options, json)
|
|
|
|
|
</script>
|
2015-12-28 00:36:59 +08:00
|
|
|
</body>
|
|
|
|
|
</html>
|
