gpuedit/config/buffer_menu.json

{
	type: "simpleWindow",
	pos: [0, 0],
	size: [400, 400],
	title: "Buffer Settings",
	children: [
		{ type: "text", pos: [10, 14], value: "Highlighter" },
// 		{ type: "window", pos: [10, 10], z: 999999999, size: [30, 50], color: "#ff000077" },
		{ type: "selectbox", pos: [200, 10], name: "highlighter",
			/*options: [
				'TqjgpW', 'foo',
				'Bar', 'bar',
			]*/
		},
	],
}