2016-12-31 08:00:57 -07:00
|
|
|
<html>
|
|
|
|
<head>
|
2017-11-05 13:59:11 +14:00
|
|
|
<script type="text/javascript" src="scripts/pos.js"></script>
|
|
|
|
<script type="text/javascript" src="scripts/path_line.js"></script>
|
|
|
|
<script type="text/javascript" src="scripts/path_arc.js"></script>
|
|
|
|
<script type="text/javascript" src="scripts/path_bezier.js"></script>
|
2017-11-05 17:33:04 +13:00
|
|
|
<script type="text/javascript" src="scripts/path_close.js"></script>
|
2016-12-31 08:00:57 -07:00
|
|
|
<script type="text/javascript" src="scripts/dotgrid.js"></script>
|
2017-11-10 08:47:06 +13:00
|
|
|
<script type="text/javascript" src="scripts/guide.js"></script>
|
|
|
|
<script type="text/javascript" src="scripts/render.js"></script>
|
2017-11-21 22:24:25 +01:00
|
|
|
<script type="text/javascript" src="scripts/serializer.js"></script>
|
2017-11-07 15:10:09 +13:00
|
|
|
<script type="text/javascript" src="scripts/theme.js"></script>
|
2018-01-12 21:09:26 +13:00
|
|
|
<script type="text/javascript" src="scripts/controller.js"></script>
|
2017-11-15 10:11:09 +13:00
|
|
|
<script type="text/javascript" src="scripts/interface.js"></script>
|
2016-12-31 08:00:57 -07:00
|
|
|
<link rel="stylesheet" type="text/css" href="links/reset.css"/>
|
|
|
|
<link rel="stylesheet" type="text/css" href="links/fonts.css"/>
|
|
|
|
<link rel="stylesheet" type="text/css" href="links/main.css"/>
|
2017-01-04 10:51:45 -07:00
|
|
|
<title>Dotgrid(Icon)</title>
|
2016-12-31 08:00:57 -07:00
|
|
|
</head>
|
|
|
|
<body>
|
2017-11-16 21:42:46 +13:00
|
|
|
<div id="app">
|
|
|
|
<script>
|
|
|
|
const {dialog,app} = require('electron').remote;
|
|
|
|
const fs = require('fs');
|
2018-01-12 21:09:26 +13:00
|
|
|
|
2017-11-16 21:42:46 +13:00
|
|
|
dotgrid = new Dotgrid(300,300,20,20,4,4, 10,"square","#000000");
|
|
|
|
dotgrid.install();
|
2017-11-06 13:18:57 +13:00
|
|
|
|
2017-11-16 21:42:46 +13:00
|
|
|
document.addEventListener('mousedown', function(e){ dotgrid.mouse_down(e); }, false);
|
|
|
|
document.addEventListener('mousemove', function(e){ dotgrid.mouse_move(e); }, false);
|
|
|
|
document.addEventListener('mouseup', function(e){ dotgrid.mouse_up(e);}, false);
|
2017-11-21 22:24:25 +01:00
|
|
|
document.addEventListener('copy', function(e){ dotgrid.copy(e);}, false);
|
|
|
|
document.addEventListener('paste', function(e){ dotgrid.paste(e);}, false);
|
2017-11-16 21:42:46 +13:00
|
|
|
</script>
|
|
|
|
</div>
|
2016-12-31 08:00:57 -07:00
|
|
|
</body>
|
|
|
|
</html>
|