Re: Session management

--===============5349477458486713054==
Content-Type: multipart/alternative; boundary="0000000000004d7a7305a3ce52f1"

--0000000000004d7a7305a3ce52f1
Content-Type: text/plain; charset="UTF-8"

You probably have to install package with name:
gnome-tweak-tool


Volker Wysk <[email protected]> schrieb am Di., 21. Apr. 2020, 16:47:

> Am Dienstag, den 21.04.2020, 16:27 +0200 schrieb Carl-Valentin Schmitt:
> > It is there in gnome-settings.
>
> What is this? I don't have this. It isn't a package or a program. apt-
> file doesn't find it too, and it isn't in the program list of the
> activity overview. The "Ubuntu-Software" program doesn't find it, too.
>
> I'm using Ubuntu 18.04.
>
> Bye,
> Volker
>
> > Volker Wysk <[email protected]> schrieb am Di., 21. Apr. 2020,
> > 15:58:
> > > Hi!
> > >
> > > Is it true that Gnome 3 doesn't have any session management? Might
> > > it
> > > be able to add session management with a gnome extension?
>
>
> _______________________________________________
> gnome-list mailing list
> [email protected]
> https://mail.gnome.org/mailman/listinfo/gnome-list
>

--0000000000004d7a7305a3ce52f1
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto"><font face=3D"sans-serif">You probably have to install pa=
ckage with name:</font><div dir=3D"auto"><font face=3D"sans-serif">gnome-tw=
eak-tool<br></font><div dir=3D"auto"><span style=3D"font-family:sans-serif"=
><br></span></div></div></div><br><div class=3D"gmail_quote"><div dir=3D"lt=
r" class=3D"gmail_attr">Volker Wysk &lt;<a href=3D"mailto:post@volker-wysk.=
de">[email protected]</a>&gt; schrieb am Di., 21. Apr. 2020, 16:47:<br></=
div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-lef=
t:1px #ccc solid;padding-left:1ex">Am Dienstag, den 21.04.2020, 16:27 +0200=
 schrieb Carl-Valentin Schmitt:<br>
&gt; It is there in gnome-settings. <br>
<br>
What is this? I don&#39;t have this. It isn&#39;t a package or a program. a=
pt-<br>
file doesn&#39;t find it too, and it isn&#39;t in the program list of the<b=
r>
activity overview. The &quot;Ubuntu-Software&quot; program doesn&#39;t find=
 it, too.<br>
<br>
I&#39;m using Ubuntu 18.04.<br>
<br>
Bye,<br>
Volker<br>
<br>
&gt; Volker Wysk &lt;<a href=3D"mailto:[email protected]" target=3D"_blan=
k" rel=3D"noreferrer">[email protected]</a>&gt; schrieb am Di., 21. Apr. =
2020,<br>
&gt; 15:58:<br>
&gt; &gt; Hi!<br>
&gt; &gt; <br>
&gt; &gt; Is it true that Gnome 3 doesn&#39;t have any session management? =
Might<br>
&gt; &gt; it<br>
&gt; &gt; be able to add session management with a gnome extension?<br>
<br>
<br>
_______________________________________________<br>
gnome-list mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank" rel=3D"noreferrer=
">[email protected]</a><br>
<a href=3D"https://mail.gnome.org/mailman/listinfo/gnome-list" rel=3D"noref=
errer noreferrer" target=3D"_blank">https://mail.gnome.org/mailman/listinfo=
/gnome-list</a><br>
</blockquote></div>

--0000000000004d7a7305a3ce52f1--

--===============5349477458486713054==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gnome-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-list

--===============5349477458486713054==--