Upgrade opera stable 96 to 97

2023-03-31 Thread Ger van Dijck
Hai Friends, When using dnf update for opera stable i get the following message: Install of opera stable 97.0.4719.43-0.x86_64 conflicts with file from package opera developer 98.0.4746.0-0.x86_64. How farther ? Ger van Dijck. ___ users mailing

Re: Upgrade opera stable 96 to 97

2023-03-31 Thread Mike Wright
On 3/31/23 10:59, Ger van Dijck wrote: Hai Friends, When using dnf update for opera stable i get the following message: Install of opera stable 97.0.4719.43-0.x86_64 conflicts with file from package opera developer 98.0.4746.0-0.x86_64. Opera developer is more recent than stable. If you

GNOME interface is too bulky

2023-03-31 Thread Ranbir
Hello Everyone, Is there a tweak in GNOME to shrink the GUI? It's huge! There's so much wasted space. It's eating up a ton of my screen real estate and driving me bananas. I like GNOME otherwise, I've been using it for 15 years or something silly like that and I don't want to move to a different

Re: GNOME interface is too bulky

2023-03-31 Thread Samuel Sieb
On 3/31/23 11:47, Ranbir wrote: Is there a tweak in GNOME to shrink the GUI? It's huge! There's so much wasted space. It's eating up a ton of my screen real estate and driving me bananas. What part do you think is so big? I find it's quite minimal. _

Re: GNOME interface is too bulky

2023-03-31 Thread Roger Wells
On 3/31/23 16:34, Samuel Sieb wrote: On 3/31/23 11:47, Ranbir wrote: Is there a tweak in GNOME to shrink the GUI? It's huge! There's so much wasted space. It's eating up a ton of my screen real estate and driving me bananas. What part do you think is so big?  I find it's quite minimal. I th