Gordian Edenhofer

One should probably start by writing a `.dektop` file to utilize the existing autostart mechanisms. Something similar to this should be sufficient ``` [Desktop Entry] Type=Application Exec=/usr/bin/chkboot-desktopalert Name=chkboot-desktopalert Comment=Desktop notification...

ping

Yes exactly. Though shrinking the dock is noticably it does not provide a really contensed dock. --- #### Here is the normal dash-to-dock bar  --- #### Here a downsized...

I checked with the default theme and the "bug" persisted. The marginal difference is the same as the one which is depicted. Shrinking the dock mainly influences the height. Your...

Is there any way currently to customize the style of the bibliography no matter how hacky? I am looking for a way to remove the title, volume, abbreviate the journal...

I am sorry but as of now these extensions are kind of stale. I stopped using Gnome a while ago and the development was stopped. Furthermore, I have no time...

I am sorry but as of now I solely maintain the extension. The development was stopped a while ago and I have no time to implement further features. However I...

Thanks a lot for the report. I agree that ideally the extension should remove the dash in those cases as well. However, due to the way it is currently designed...

In general, I dislike these kind of approaches in which it is necessary to wait for a specific message of the server because those messages tend to be different for...

Thank you very much for this contribution! Supporting multiple servers has been a recurring issue. However, I have two objections regarding this or similar approaches: * Running multiple servers should...