SWI-Prolog/swish

Superfluous cell separator cannot be deleted in SWISH

Closed this issue · 4 comments

My Prolog notebook started accumulating superflous
cell separators, and there is no way to delete them:

Bildschirmfoto 2020-09-19 um 11 46 15

They are between the Program cell and the last HTML cell.
The Prolog notebook is this here:

https://swish.swi-prolog.org/p/Hilbert2.swinb

I speculate they are result of some error injection or
somesuch, I had singleton warnings, and somehow the

Prolog notebook doesn't get correctly compacted.
I didn't find a way to delete them from within the notebook editor.

A simple solution would be maybe to remove them during save.
But since cell ranges cannot be selected and deleted, there seems
to manual way to remove them.

This issue has been mentioned on SWI-Prolog. There might be relevant details there:

https://swi-prolog.discourse.group/t/swi-prolog-php-html/2937/70

I see no such thing. Normally the separator menu should not become part of the document. Without a reproducible way to get into this state it is hard to say anything sensible.

Please report SWISH issue with the SWISH repo.

Closing old issue by lack of a reproducible example.