-
-
Notifications
You must be signed in to change notification settings - Fork 8
/
julia.html
38 lines (38 loc) · 1.98 KB
/
julia.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
<!doctype html>
<html>
<head>
<meta charset=utf-8><title>Julia</title>
<style>kbd{border: 1px solid buttonshadow;border-radius:.5ex;padding:0 .25ex;margin:0 .2ex;background:buttonface;}</style>
</head>
<body>
<article>
<h1><a href="https://julialang.org/">Julia</a> language bar and character compositions <a href="."><button>More…</button></a></h1>
<p>This provides two ways to easily enter Julia characters into pretty much any input field on any webpage:</p>
<ol>
<li>Enter a combo sequence and hit Tab, e.g. <kbd>\</kbd><kbd>p</kbd><kbd>i</kbd><kbd>Tab</kbd> gives <code>π</code>. See the <a href="https://docs.julialang.org/en/v1/manual/unicode-input/">complete list of completions</a>.</li>
<li>Click on symbols in the language bar.</li>
</ol>
<p>Try it here: <input autofocus/></p>
<p>Hover over a symbol in the language bar for combo sequences.</p>
<h2>Installation</h2>
<h3>Desktop browser</h3>
<ol>
<li>Drag this link to your bookmarks bar: <a href='javascript:(d=>{let e=d.createElement("script");e.src="https://abrudz.github.io/lb/julia.js";d.body.appendChild(e)})(document)'>Julia</a></li>
</ol>
<h3>Mobile browser</h3>
<ol>
<li>Add a bookmark for this page.</li>
<li>Edit the bookmark's target URL address to <code>javascript:(d=>{let%20e=d.createElement("script");e.src="https://abrudz.github.io/lb/julia.js";d.body.appendChild(e)})(document)</code></li>
</ol>
<h3>Webpage</h3>
<ol>
<li>Include this HTML in your page: <code><script src="https://abrudz.github.io/lb/julia.js"></script></code></li>
</ol>
<h2>Activation</h2>
<ol>
<li>Navigate to the web page where you want to enter Julia characters.</li>
<li>Click on the <em>Julia</em> bookmark. The language bar should appear at the web page's top.</li>
</ol>
</article>
<script src="https://abrudz.github.io/lb/julia.js"></script>
</html>