Reuben Thomas
Reuben Thomas
Sure, I'll do that when I can find a moment.
I understand that, I filed a bug while it was fresh in my mind what the problem was. If it happens to be obvious, great; otherwise, I certainly am happy...
Argh, I'll try, but I'm quite busy travelling until then!
Sorry I took so long to get around to this! However, I was able to reproduce the bug with the current git version of reledmac (same as release 2.26.6). I...
I was thinking of the lemma. I agree nested lemmas are then complicated, but a simple solution could ignore that case (if you have nested lemmas, don't use that sort...
Thanks very much!
Two thoughts: 1. Would it be possible to be notified of logout, e.g. by catching the [SessionOver](https://people.gnome.org/~mccann/gnome-session/docs/gnome-session.html#org.gnome.SessionManager::SessionOver) signal? 2. Quick-and-dirty hack: copy a [logout button extension](https://extensions.gnome.org/extension/1143/logout-button/), and save the session...
(I know basically nothing about GNOME Shell extensions, but I presume you don't know much either or you wouldn't've asked me for help!) I tried the quick-and-dirty hack version first,...
@curiousercreative No. I'm not sure what I found at the time with my hack, I'm sorry; but of course someone else is welcome to try it. I must say I've...
I'm sorry I've not found time to respond yet: having found various problems with Pidgin and modern XMPP, I switched to Gajim. But I would like Pidgin to improve, so...