move files around

This commit is contained in:
2023-11-18 00:54:10 +01:00
parent 9fecea05f8
commit f27b20bbb1
10 changed files with 21 additions and 19 deletions

View File

@ -1,5 +1,5 @@
import { type Editor } from "../main";
import { makeExampleFactory, key_shortcut } from "../Documentation";
import { type Editor } from "../../main";
import { makeExampleFactory, key_shortcut } from "../../Documentation";
export const code = (application: Editor): string => {
const makeExample = makeExampleFactory(application);

View File

@ -1,5 +1,5 @@
import { key_shortcut, makeExampleFactory } from "../Documentation";
import { type Editor } from "../main";
import { key_shortcut, makeExampleFactory } from "../../Documentation";
import { type Editor } from "../../main";
import topos_arch from "./topos_arch.svg";
import many_universes from "./many_universes.svg";

View File

@ -1,6 +1,6 @@
import { key_shortcut } from "../Documentation";
import { type Editor } from "../main";
import { makeExampleFactory } from "../Documentation";
import { key_shortcut } from "../../Documentation";
import { type Editor } from "../../main";
import { makeExampleFactory } from "../../Documentation";
export const shortcuts = (app: Editor): string => {
let makeExample = makeExampleFactory(app);

View File

Before

Width:  |  Height:  |  Size: 20 KiB

After

Width:  |  Height:  |  Size: 20 KiB

View File

@ -1,5 +1,5 @@
import { type Editor } from "../main";
import { makeExampleFactory } from "../Documentation";
import { type Editor } from "../../main";
import { makeExampleFactory } from "../../Documentation";
export const mouse = (app: Editor): string => {
let makeExample = makeExampleFactory(app);

View File

Before

Width:  |  Height:  |  Size: 17 KiB

After

Width:  |  Height:  |  Size: 17 KiB

View File

@ -1,6 +1,6 @@
import { makeExampleFactory, key_shortcut } from "../Documentation";
import { type Editor } from "../main";
import { examples } from "../examples/excerpts";
import { makeExampleFactory, key_shortcut } from "../../Documentation";
import { type Editor } from "../../main";
import { examples } from "../../examples/excerpts";
export const introduction = (application: Editor): string => {
const makeExample = makeExampleFactory(application);

View File

@ -9,8 +9,8 @@ export const probabilities = (application: Editor): string => {
There are some simple functions to play with probabilities.
- <ic>rand(min: number, max:number)</ic>: returns a random number between <ic>min</ic> and <ic>max</ic>. Shorthand _r()_.
- <ic>irand(min: number, max:number)</ic>: returns a random integer between <ic>min</ic> and <ic>max</ic>. Shorthands _ir()_ or _rI()_.
- <ic>rand(min: number, max:number)</ic>: returns a random number between <ic>min</ic> and <ic>max</ic>. Shorthand <ic>r()</ic>.
- <ic>irand(min: number, max:number)</ic>: returns a random integer between <ic>min</ic> and <ic>max</ic>. Shorthands <ic>ir()</ic> or <ic>rI()</ic>.
${makeExample(
"Bleep bloop, what were you expecting?",