Mun posted on Fri, 14 Jul 2023 15:42:40 -0700 as excerpted:
> I am using KDE4 on Red Hat Enterprise Linux 7 (RHEL7) and was wondering
> if there is a pager replacement that will do the following:
>
> o Highlight the current Virtual Desktop with a unique color or something
> o Not have any of th
Hi R,
Thank you for your reply.
On Sat, Jul 15, 2023 at 3:05 AM René J.V. Bertin wrote:
>
> On Friday July 14 2023 15:42:40 Mun wrote:
>
> >o Highlight the current Virtual Desktop with a unique color or something
>
> In the standard KDE4 pager you can select to have different widgets on each
>
On Monday July 17 2023 11:31:04 Mun wrote:
>I tried enabling that setting--even though I'm not actually sure what
>it is supposed to do--but I didn't notice any difference in the Pager.
It allows you to put a different set of widgets on each desktop. You can surely
find a widget that can help to
Hi Duncan,
Thank you for your response.
On Mon, Jul 17, 2023 at 12:39 AM Duncan <1i5t5.dun...@cox.net> wrote:
>
> Mun posted on Fri, 14 Jul 2023 15:42:40 -0700 as excerpted:
>
> > I am using KDE4 on Red Hat Enterprise Linux 7 (RHEL7) and was wondering
> > if there is a pager replacement that will
Hi René,
Thank you for your quick response.
On Mon, Jul 17, 2023 at 11:46 AM René J.V. Bertin wrote:
>
> On Monday July 17 2023 11:31:04 Mun wrote:
>
> >I tried enabling that setting--even though I'm not actually sure what
> >it is supposed to do--but I didn't notice any difference in the Pager.
On Monday July 17 2023 11:50:52 Mun wrote:
>Unfortunately, I don't think I can talk IT into doing a KDE upgrade on
>our RHEL7 systems.
I get the impression you're not a programmer/developer, but in case that's
wrong: I would hope that "IT" have been accommodating enough to install at
least a re
Hi René,
On Mon, Jul 17, 2023 at 12:56 PM René J.V. Bertin wrote:
>
> On Monday July 17 2023 11:50:52 Mun wrote:
>
> >Unfortunately, I don't think I can talk IT into doing a KDE upgrade on
> >our RHEL7 systems.
>
> I get the impression you're not a programmer/developer, but in case that's
> wron
On Monday July 17 2023 15:00:41 Mun wrote:
>> Also, you can install new components via one of the right-click menus. I
>> don't know how many there are still available that work with a Plasma4
>> desktop but there might be a 3rd party pager that does what you want.
>
>I did find a 3rd party page
Hi René,
Thank you for your reply!
On Mon, Jul 17, 2023 at 3:53 PM René J.V. Bertin wrote:
>
> On Monday July 17 2023 15:00:41 Mun wrote:
>
> >> Also, you can install new components via one of the right-click menus. I
> >> don't know how many there are still available that work with a Plasma4
