Skip to content

Commit 8d1184d

Browse files
author
GitHub CI Runner
committed
**CI** Formatted code + Updated version number and documentation. [skip ci]
1 parent 65c7862 commit 8d1184d

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

49 files changed

+99
-61
lines changed

docs/.buildinfo

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
# Sphinx build info version 1
22
# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
3-
config: b1719abe3aee692fc945a2d1c29e6398
3+
config: 1f324a2d55036cf53574f31ee60ff021
44
tags: 645f666f9bcd5a90fca523b33c5a78b7

docs/_modules/index.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>Overview: module code &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../_static/css/theme.css" type="text/css" />
6+
<title>Overview: module code &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/buffer_reader.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.buffer_reader &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.buffer_reader &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/protocols.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.protocols &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.protocols &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/simply.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.simply &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.simply &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/source_reader.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.source_reader &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.source_reader &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/stream_buffer.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.stream_buffer &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.stream_buffer &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/stream_source.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.stream_source &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.stream_source &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/tests/test_util.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.tests.test_util &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.tests.test_util &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/tests/utils_for_testing.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.tests.utils_for_testing &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.tests.utils_for_testing &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/util.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.util &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.util &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/utility/locked_sorted_deque.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.utility.locked_sorted_deque &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.utility.locked_sorted_deque &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/utility/reader_writer_lock.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.utility.reader_writer_lock &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.utility.reader_writer_lock &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/utility/sorted_collection.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.utility.sorted_collection &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.utility.sorted_collection &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/utility/sorted_deque.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.utility.sorted_deque &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.utility.sorted_deque &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_modules/stream2py/utility/typing_hints.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>stream2py.utility.typing_hints &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
6+
<title>stream2py.utility.typing_hints &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="../../../_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="../../../_static/graphviz.css" type="text/css" />

docs/_static/copy-button.svg

+3-3
Loading

docs/_static/copybutton.css

+18-6
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ button.copybtn {
33
position: absolute;
44
display: flex;
55
top: .3em;
6-
right: .5em;
6+
right: .3em;
77
width: 1.7em;
88
height: 1.7em;
99
opacity: 0;
@@ -13,17 +13,22 @@ button.copybtn {
1313
border: none;
1414
outline: none;
1515
border-radius: 0.4em;
16-
border: #e1e1e1 1px solid;
17-
background-color: rgb(245, 245, 245);
16+
/* The colors that GitHub uses */
17+
border: #1b1f2426 1px solid;
18+
background-color: #f6f8fa;
19+
color: #57606a;
1820
}
1921

2022
button.copybtn.success {
2123
border-color: #22863a;
24+
color: #22863a;
2225
}
2326

24-
button.copybtn img {
25-
width: 100%;
26-
padding: .2em;
27+
button.copybtn svg {
28+
stroke: currentColor;
29+
width: 1.5em;
30+
height: 1.5em;
31+
padding: 0.1em;
2732
}
2833

2934
div.highlight {
@@ -79,3 +84,10 @@ div.highlight {
7984
transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
8085
transition-delay: .5s;
8186
}
87+
88+
/* By default the copy button shouldn't show up when printing a page */
89+
@media print {
90+
button.copybtn {
91+
display: none;
92+
}
93+
}

docs/_static/copybutton.js

+28-5
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,12 @@ const messages = {
3535
'copy_to_clipboard': '复制到剪贴板',
3636
'copy_success': '复制成功!',
3737
'copy_failure': '复制失败',
38+
},
39+
'it' : {
40+
'copy': 'Copiare',
41+
'copy_to_clipboard': 'Copiato negli appunti',
42+
'copy_success': 'Copiato!',
43+
'copy_failure': 'Errore durante la copia',
3844
}
3945
}
4046

@@ -49,7 +55,25 @@ if (doc_url_root == '#') {
4955
doc_url_root = '';
5056
}
5157

52-
const path_static = `${doc_url_root}_static/`;
58+
/**
59+
* SVG files for our copy buttons
60+
*/
61+
let iconCheck = `<svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-check" width="44" height="44" viewBox="0 0 24 24" stroke-width="2" stroke="#22863a" fill="none" stroke-linecap="round" stroke-linejoin="round">
62+
<title>${messages[locale]['copy_success']}</title>
63+
<path stroke="none" d="M0 0h24v24H0z" fill="none"/>
64+
<path d="M5 12l5 5l10 -10" />
65+
</svg>`
66+
67+
// If the user specified their own SVG use that, otherwise use the default
68+
let iconCopy = ``;
69+
if (!iconCopy) {
70+
iconCopy = `<svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-copy" width="44" height="44" viewBox="0 0 24 24" stroke-width="1.5" stroke="#000000" fill="none" stroke-linecap="round" stroke-linejoin="round">
71+
<title>${messages[locale]['copy_to_clipboard']}</title>
72+
<path stroke="none" d="M0 0h24v24H0z" fill="none"/>
73+
<rect x="8" y="8" width="12" height="12" rx="2" />
74+
<path d="M16 8v-2a2 2 0 0 0 -2 -2h-8a2 2 0 0 0 -2 2v8a2 2 0 0 0 2 2h2" />
75+
</svg>`
76+
}
5377

5478
/**
5579
* Set up copy/paste for code blocks
@@ -88,9 +112,8 @@ const temporarilyChangeTooltip = (el, oldText, newText) => {
88112

89113
// Changes the copy button icon for two seconds, then changes it back
90114
const temporarilyChangeIcon = (el) => {
91-
img = el.querySelector("img");
92-
img.setAttribute('src', `${path_static}check-solid.svg`)
93-
setTimeout(() => img.setAttribute('src', `${path_static}copy-button.svg`), 2000)
115+
el.innerHTML = iconCheck;
116+
setTimeout(() => {el.innerHTML = iconCopy}, 2000)
94117
}
95118

96119
const addCopyButtonToCodeCells = () => {
@@ -109,7 +132,7 @@ const addCopyButtonToCodeCells = () => {
109132

110133
const clipboardButton = id =>
111134
`<button class="copybtn o-tooltip--left" data-tooltip="${messages[locale]['copy']}" data-clipboard-target="#${id}">
112-
<img src="${path_static}copy-button.svg" alt="${messages[locale]['copy_to_clipboard']}">
135+
${iconCopy}
113136
</button>`
114137
codeCell.insertAdjacentHTML('afterend', clipboardButton(id))
115138
})

docs/_static/documentation_options.js

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
var DOCUMENTATION_OPTIONS = {
22
URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
3-
VERSION: '1.0.40',
3+
VERSION: '1.0.41',
44
LANGUAGE: 'None',
55
COLLAPSE_INDEX: false,
66
BUILDER: 'html',

docs/_static/toggleprompt.js

+3
Original file line numberDiff line numberDiff line change
@@ -71,4 +71,7 @@ $(document).ready(function() {
7171
button.data('hidden', 'false');
7272
}
7373
});
74+
if ('false' === 'true') {
75+
$('.copybutton').click(); // click once to hide
76+
}
7477
});

docs/genindex.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>Index &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
6+
<title>Index &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
77
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
88
<link rel="stylesheet" href="_static/copybutton.css" type="text/css" />
99
<link rel="stylesheet" href="_static/graphviz.css" type="text/css" />

docs/index.html

+3-3
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Welcome to Stream2py’s documentation! &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
7+
<title>Welcome to Stream2py’s documentation! &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
88
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
99
<link rel="stylesheet" href="_static/copybutton.css" type="text/css" />
1010
<link rel="stylesheet" href="_static/graphviz.css" type="text/css" />
@@ -129,8 +129,8 @@ <h1>Indices and tables<a class="headerlink" href="#indices-and-tables" title="Pe
129129
<li><p><a class="reference internal" href="py-modindex.html"><span class="std std-ref">Module Index</span></a></p></li>
130130
<li><p><a class="reference internal" href="search.html"><span class="std std-ref">Search Page</span></a></p></li>
131131
</ul>
132-
<p>Release: 1.0.40</p>
133-
<p>Last change: Jan 20, 2022</p>
132+
<p>Release: 1.0.41</p>
133+
<p>Last change: Oct 26, 2022</p>
134134
</section>
135135

136136

docs/module_docs/stream2py.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>stream2py &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../_static/css/theme.css" type="text/css" />
7+
<title>stream2py &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../_static/css/theme.css" type="text/css" />
88
<link rel="stylesheet" href="../_static/pygments.css" type="text/css" />
99
<link rel="stylesheet" href="../_static/copybutton.css" type="text/css" />
1010
<link rel="stylesheet" href="../_static/graphviz.css" type="text/css" />

docs/module_docs/stream2py/buffer_reader.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>stream2py.buffer_reader &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
7+
<title>stream2py.buffer_reader &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
1010
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

docs/module_docs/stream2py/protocols.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>stream2py.protocols &mdash; stream2py 1.0.40 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
7+
<title>stream2py.protocols &mdash; stream2py 1.0.41 documentation</title><link rel="stylesheet" href="../../_static/css/theme.css" type="text/css" />
88
<link rel="stylesheet" href="../../_static/pygments.css" type="text/css" />
99
<link rel="stylesheet" href="../../_static/copybutton.css" type="text/css" />
1010
<link rel="stylesheet" href="../../_static/graphviz.css" type="text/css" />

0 commit comments

Comments
 (0)