2018-11-06 17:47:40 +01:00
|
|
|
<div id="options-dialog" class="modal fade mx-auto" tabindex="-1" role="dialog">
|
2019-02-26 22:59:38 +01:00
|
|
|
<div class="modal-dialog modal-lg modal-dialog-scrollable" style="min-width: 1000px;" role="document">
|
2018-12-23 10:57:40 +01:00
|
|
|
<div class="modal-content">
|
|
|
|
|
<div class="modal-header">
|
|
|
|
|
<h5 class="modal-title">Options</h5>
|
|
|
|
|
<button type="button" class="close" data-dismiss="modal" aria-label="Close">
|
|
|
|
|
<span aria-hidden="true">×</span>
|
|
|
|
|
</button>
|
2018-11-09 12:13:51 +01:00
|
|
|
</div>
|
2018-12-23 10:57:40 +01:00
|
|
|
<div class="modal-body">
|
|
|
|
|
<div>
|
|
|
|
|
<ul class="nav nav-tabs">
|
|
|
|
|
<li class="nav-item">
|
2019-08-19 21:55:08 +02:00
|
|
|
<a class="nav-link active" data-toggle="tab" href="#options-appearance">Appearance</a>
|
2018-12-23 10:57:40 +01:00
|
|
|
</li>
|
|
|
|
|
<li class="nav-item">
|
2019-08-19 21:55:08 +02:00
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-sidebar">Sidebar</a>
|
2018-12-23 10:57:40 +01:00
|
|
|
</li>
|
2019-11-20 21:35:18 +01:00
|
|
|
<li class="nav-item">
|
|
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-keyboard-shortcuts">Keyboard shortcuts</a>
|
|
|
|
|
</li>
|
2019-08-29 21:08:53 +02:00
|
|
|
<li class="nav-item">
|
|
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-code-notes">Code notes</a>
|
|
|
|
|
</li>
|
2018-12-23 10:57:40 +01:00
|
|
|
<li class="nav-item">
|
2019-08-19 21:55:08 +02:00
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-change-password">Change password</a>
|
2018-12-23 10:57:40 +01:00
|
|
|
</li>
|
|
|
|
|
<li class="nav-item">
|
2019-10-06 21:35:26 +02:00
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-sync-setup">Sync</a>
|
2018-12-23 10:57:40 +01:00
|
|
|
</li>
|
|
|
|
|
<li class="nav-item">
|
2019-10-06 21:35:26 +02:00
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-other">Other</a>
|
2019-08-19 21:55:08 +02:00
|
|
|
</li>
|
|
|
|
|
<li class="nav-item">
|
|
|
|
|
<a class="nav-link" data-toggle="tab" href="#options-advanced">Advanced</a>
|
2018-12-23 10:57:40 +01:00
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
<br/>
|
|
|
|
|
<div class="tab-content">
|
2019-11-03 19:06:22 +01:00
|
|
|
<div id="options-appearance" class="tab-pane active"></div>
|
|
|
|
|
<div id="options-sidebar" class="tab-pane"></div>
|
2019-11-20 21:35:18 +01:00
|
|
|
<div id="options-keyboard-shortcuts" class="tab-pane"></div>
|
2019-11-03 19:06:22 +01:00
|
|
|
<div id="options-code-notes" class="tab-pane"></div>
|
|
|
|
|
<div id="options-change-password" class="tab-pane"></div>
|
|
|
|
|
<div id="options-other" class="tab-pane"></div>
|
|
|
|
|
<div id="options-sync-setup" class="tab-pane"></div>
|
|
|
|
|
<div id="options-advanced" class="tab-pane"></div>
|
2018-12-23 10:57:40 +01:00
|
|
|
</div>
|
2018-11-09 12:13:51 +01:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2018-11-06 14:16:38 +01:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
