| # modified from Original source: https://github.com/python/mypy/issues/731#issuecomment-539905783 | |
| from typing import Union, Dict, List | |
| JSONPrimitive = Union[str, int, bool, None] | |
| JSONType = Union[JSONPrimitive, 'JSONList', 'JSONDict'] | |
| # work around mypy#731: no recursive structural types yet | |
| class JSONList(List[JSONType]): | |
| pass |
[ Update 2020-05-31: I won't be maintaining this page or responding to comments anymore (except for perhaps a few exceptional occasions). ]
Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).
It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.
| tell application "Spotify" | |
| if player state is playing then | |
| set playPos to player position + 3.0 | |
| set player position to playPos | |
| end if | |
| end tell |
