Fix #1303: make no_mouse_mode boring

This commit is contained in:
Oliver Blanthorn 2019-05-28 17:08:13 +01:00
parent 11bab1e960
commit 402763b41b
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3
2 changed files with 15 additions and 1 deletions

View file

@ -16,6 +16,10 @@ export function jack_in() {
rain(chinese, colour) rain(chinese, colour)
} }
export function no_mouse() {
rain([" "], "#FFF", 0) // No characters, unused colour code, no darkening
}
export let snow = () => rain(["❄"], "#FFF", 0.15) export let snow = () => rain(["❄"], "#FFF", 0.15)
export function rain(characters: string[], colour, darkening = 0.05) { export function rain(characters: string[], colour, darkening = 0.05) {

View file

@ -1378,11 +1378,21 @@ export async function credits(excmd?: string) {
* Suggested usage: `autocmd DocLoad .* no_mouse_mode` * Suggested usage: `autocmd DocLoad .* no_mouse_mode`
* *
* "There is no mouse". * "There is no mouse".
*/
//#content
export function no_mouse_mode() {
toys.no_mouse()
}
/**
* Matrix variant of [[no_mouse_mode]]
*
* "There is no mouse".
* *
* Coincidentally added to Tridactyl at the same time as we reached 1337 stars on GitHub. * Coincidentally added to Tridactyl at the same time as we reached 1337 stars on GitHub.
*/ */
//#content //#content
export function no_mouse_mode() { export function neo_mouse_mode() {
toys.jack_in() toys.jack_in()
} }