-
Notifications
You must be signed in to change notification settings - Fork 21
/
Copy pathsettings.html
114 lines (110 loc) · 4.87 KB
/
settings.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title>Settings | Proton</title>
<!-- <script src="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.8.0/highlight.min.js"></script> -->
<link rel="stylesheet" href="style/bootstrap.min.css">
<link rel="stylesheet" href="style/hack.min.css">
<link rel="stylesheet" href="style/font-awesome.min.css" />
<link rel="stylesheet" href="style/settings.css" />
<!-- <link rel="stylesheet" type="text/css" href="http://jaxedit.com/note/typejax/typejax.css" /> -->
<!-- <link rel="stylesheet" href="depend/default.min.css"> -->
<!-- Latest compiled and minified JavaScript -->
<script src="depend/jquery.js"></script>
<!-- </script> -->
<script>
window.$ = window.jQuery = require('./depend/jquery.js');
</script>
<script src="js/settings.js"></script>
</head>
<body>
<div class="container">
<div class="row">
<div class="col-lg-12 page-header">
<h1><i class="fa fa-md fa-gear"></i>Settings</h1>
</div>
</div>
<div class="row">
<div class="col-lg-12">
<h3>Editor Settings</h3>
<form>
<div class="form-group">
<label for="theme">Theme</label>
<select class="form-control" id="theme">
<option value="Chrome">Chrome</option>
<option value="Clouds">Clouds</option>
<option value="Clouds Midnight">Clouds Midnight</option>
<option value="Cobalt">Cobalt</option>
<option value="Crimson Editor">Crimson Editor</option>
<option value="Dawn">Dawn</option>
<option value="Eclipse">Eclipse</option>
<option value="Idle Fingers">Idle Fingers</option>
<option value="Kr Theme">Kr Theme</option>
<option value="Merbivore">Merbivore</option>
<option value="Merbivore Soft">Merbivore Soft</option>
<option value="Mono Industrial">Mono Industrial</option>
<option value="Monokai">Monokai</option>
<option value="Pastel On Dark">Pastel On Dark</option>
<option value="Solarized Dark">Solarized Dark</option>
<option value="Solarized Light">Solarized Light</option>
<option value="TextMate">TextMate</option>
<option value="Tomorrow">Tomorrow</option>
<option value="Tomorrow Night">Tomorrow Night</option>
<option value="Tomorrow Night Blue">Tomorrow Night Blue</option>
<option value="Tomorrow Night Bright">Tomorrow Night Bright</option>
<option selected="selected" value="Tomorrow Night Eighties">Tomorrow Night Eighties</option>
<option value="Twilight">Twilight</option>
<option value="Vibrant Ink">Vibrant Ink</option>
</select>
</div>
<div class="form-group">
<label for="fontSize">Font Size</label>
<input id="fontSize" style="width: 10%;" type="number" class="form-control" placeholder="12" />
<p class="help-block">
All sizes in pixels. No need to write pixels after the number
</p>
</div>
<div class="form-group">
<label for="fontFamily">Font Family</label>
<input id="fontFamily" style="width: 30%;" type="text" class="form-control" placeholder="Hack" />
</div>
<div class="checkbox">
<label><input type="checkbox" id="lineNumbers"/> <strong>Line Numbers</strong></label>
</div>
</form>
<div class="form-group">
<label for="tabSize">Tab Size</label>
<input id="tabSize" style="width: 10%;" type="number" class="form-control" placeholder="4" />
</div>
<div class="form-group">
<label for="keyboardHandler">Keyboard Handler</label>
<select class="form-control" id="keyboardHandler">
<option value="vim">
Vim
</option>
<option value="ace">
Ace
</option>
<option value="emacs">
Emacs
</option>
<option value="sublime">
Sublime
</option>
</select>
</div>
<div class="checkbox form-group">
<label><input type="checkbox" id="hardwareAcceleration"/> <strong>Hardware Acceleration</strong></label>
<p class="help-block">
Proton will have to restart for hardware acceleration changes to take effect.
</p>
</div>
</div>
</div>
<center>
<button id="moreSettings" class="btn btn-primary" style="margin-bottom: 20px;">Want more settings?</button>
</center>
</div>
</body>
</html>