[Bug 1670089] Re: gnome-shell Crashes shortly after login

2017-10-28 Thread claudio@ubuntu
I think this is a gnome-shell-extension-dashtodock + gnome-shell- extension-ubuntu-dock, at least in my case. Removing gnome-shell-extension-dashtodock and reinstalling gnome-shell- extension-ubuntu-dock allows me to login, however the dock is not visible (it's not auto-hidden either, only visible

[Bug 1725852] Re: Changing the theme to Adwaita still keeps orange elements

2017-10-22 Thread claudio@ubuntu
Thank you, Jeremy. I prefer not to go for option 1 because I like most of the Ubuntu adaptations and what I don't like is easy to adapt (e.g. full height dock). Option 2 does indeed the trick, however it's not that straight forward to download Adwaita now it's the default theme. I installed Minwa

[Bug 1725536] Re: Ubuntu 17.10 Dock doesn't respect the color choice of the Gnome Shell theme

2017-10-21 Thread claudio@ubuntu
You can change the dot colours with dconf. Look in org.gnome.shell.extensions.dash-to-dock with "dconf Editor", specifically the custom-theme-dot-border-color and custom-theme-running- dots-color both set to #e95420 (orange). However, besides the dots it looks like we're stuck with orange in the

[Bug 1084643] [NEW] Colour casting on black text using the default renderer pdftops (workaround: use gs)

2012-11-29 Thread claudio@ubuntu
Public bug reported: For some time now (I think the bug is not specific to Ubuntu 12.10 but also present in 12.04), I am having trouble when printing black text with an HP Color LaserJet CP1515n, that worked fine on previous Ubuntu releases and from other Operating Systems. The output is kind of o