Oscar Nierstrasz

gt Discord

Oscar Nierstrasz — heute um 09:45 Uhr discord Hm. I would guess not with the current implementation, because each snippet is stored in the JSON file for the page that contains it. I am guessing an extension would be needed to refer to a "remote" snippet.

~

Oscar Nierstrasz — heute um 11:35 Uhr Well, @Ralf Barkow , a snippet does actually have aUID and you can retrieve it from the database, so I guess in principle it would be possible to have remote snippets. I'm just not sure how complicated that would be.