On 10/05/2016 02:37 PM, Stephen Morris wrote: > > > On 07/07/16 08:24, Stephen Morris wrote: >> On 23/05/16 07:25, Ed Greshko wrote: >>> On 05/23/16 04:10, Stephen Morris wrote: >>> >>>> Thanks Ed. Do you know what the kde list url is, I might try that to >>>> see if they have >>>> any indications on when it is likely to be fixed. >>> That would be >>> http://lists.fedoraproject.org/admin/lists/kde@xxxxxxxxxxxxxxxxxxxxxxx >>> >>> And I think Colin nailed it with >>> https://bugs.kde.org/show_bug.cgi?id=362105 >>> >> Thanks for the responses guys, having upgraded to F24 I can confirm >> this issue has been resolved in F24. > Having had the issue fixed by an upgrade to F24, after putting on all > the regular updates up to the current point in time I have found that > the issue has resurfaced and autohide no longer works, nor is autohide > selectable from the panel options again. What I don't know is which > specific updates have reintroduced the issue as I have only just noticed > it. > How do I identify whether this is an upstream issue or whether Fedora > changes have caused the issue (I think changes to KDE Themes can cause > this as well). >From what I can see, this is (has) been an issue in kde-workspace in versions prior to 5.6.5. Verify the versions you have installed via dnf list installed kde-workspace* If it's later than 5.6.5, then you should probably bugzilla it to Fedora. Make sure you put all the pertinent data (KDE component versions, themes versions, etc.) in your report. The Fedora gang will see if it's something Fedora-specific. If not and it's from upstream, I think they'd push it up the food chain to KDE. ---------------------------------------------------------------------- - Rick Stevens, Systems Engineer, AllDigital ricks@xxxxxxxxxxxxxx - - AIM/Skype: therps2 ICQ: 226437340 Yahoo: origrps2 - - - - Brain: The organ with which we think that we think. - ---------------------------------------------------------------------- _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
