Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

vinzv (vinzv@gnusocial.de)'s status on Friday, 09-Dec-2016 23:43:25 CET vinzv
- David
@donkrawallo Wenn ich es richtig in Erinnerung habe ist das default theme komprimiert. Such mal nach gnome-shell-theme.gresource - das kÃ¶nnte helfen.

In conversation Friday, 09-Dec-2016 23:43:25 CET from gnusocial.de at 48°32'49"N 11°16'16"E permalink
- vinzv (vinzv@gnusocial.de)'s status on Friday, 09-Dec-2016 23:46:58 CET vinzv
  in reply to
  - David
  @donkrawallo Ah, und /usr/share/gtk-doc mÃ¼sste auch weiterhelfen: https://gnusocial.de/url/3343007
  
  In conversation Friday, 09-Dec-2016 23:46:58 CET permalink
- vinzv (vinzv@gnusocial.de)'s status on Friday, 09-Dec-2016 23:48:39 CET vinzv
  in reply to
  - David
  @donkrawallo Und das hier kÃ¶nnte dir auch bei deinen Anpassungen helfen: https://gnusocial.de/url/3343009
  
  In conversation Friday, 09-Dec-2016 23:48:39 CET permalink
- vinzv (vinzv@gnusocial.de)'s status on Saturday, 10-Dec-2016 00:02:59 CET vinzv
  - Benedikt Geißler 🐃
  - David
  @benediktg @donkrawallo So extrahieren sollte gehen: gresource extract /usr/share/gnome-shell/gnome-shell-theme.gresource /org/gnome/shell/theme/gnome-shell.css (Ich hab hier keine Gnome Shell zum testen)
  
  In conversation Saturday, 10-Dec-2016 00:02:59 CET permalink
- vinzv (vinzv@gnusocial.de)'s status on Saturday, 10-Dec-2016 15:34:03 CET vinzv
  - David
  @donkrawallo Kein Ding. ;)
  
  In conversation Saturday, 10-Dec-2016 15:34:03 CET permalink

Feeds