Ciao Jed
BobEXE: TiddlyWiki version 5.1.19 with Bob version 1.2.3
> Windows 10 64bit, tablet. Latest Firefox & Chrome.
*Minor issues with deletion ...*
--- Under "Delete Wikis". Select a Wiki to delete, check "Delete children";
click "Delete Wiki."
-- Result: The wiki *is* deleted on disk and disappears from the "Wiki
Listing".
-- The settings however are not cleared of the stub entry ... For instance
I have this left in Manual Settings (in yellow) that is redundant ...
"wikis": {
"test_new_things": {
"__path": "test_new_things"
} ,
"tw_prep": {
} ,
"tw_reggie": {
"__path": "tw_reggie"
}
} ,
Best wishes
Josiah
On Tuesday, 23 April 2019 13:18:16 UTC+2, Jed Carty wrote:
>
> I will be handling any bug report that contains the appropriate
> information before looking into any others.
>
> This thread is specifically about version 1.2.3, any bugs that are
> uniquely related to previous versions are not going to be addressed here.
>
--
You received this message because you are subscribed to the Google Groups
"TiddlyWiki" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to tiddlywiki+unsubscr...@googlegroups.com.
To post to this group, send email to tiddlywiki@googlegroups.com.
Visit this group at https://groups.google.com/group/tiddlywiki.
To view this discussion on the web visit
https://groups.google.com/d/msgid/tiddlywiki/12f28e6d-f641-48d8-a91e-8d0bad71e344%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
