mirror of
https://github.com/Jermolene/TiddlyWiki5
synced 2024-11-30 13:29:56 +00:00
a375d2d9b6
For example, the previous title for the tiddler containing the editor types tab of control panel was “$:/core/ui/ControlPanel/Advanced/EditorTypes”. We’re now removing the “Advanced” portion, so that we don’t have to rename tiddlers like this if we move them around between tabs
8 lines
298 B
Plaintext
8 lines
298 B
Plaintext
title: $:/snippets/minithemeswitcher
|
|
|
|
\define lingo-base() $:/language/ControlPanel/Theme/
|
|
<<lingo Prompt>> <$select tiddler="$:/theme">
|
|
<$list filter="[plugin-type[theme]sort[title]]">
|
|
<option value=<<currentTiddler>>><$view field="name"><$view field="title"/></$view></option>
|
|
</$list>
|
|
</$select> |