Opened 7 years ago
Closed 7 years ago
#3391 closed Verbesserung (erledigt)
GNOME-Shell extension "places menu" für alle aktivieren
| Reported by: | Rüdiger Kupper | Owned by: | Rüdiger Kupper |
|---|---|---|---|
| Priority: | bald erledigen | Milestone: | Image „Humane Henrike” |
| Component: | Software: Ubuntu | Severity: | beeinträchtigt keinen Unterricht |
| Keywords: | Cc: |
Description
Change History (5)
comment:1 by , 7 years ago
| Status: | new → accepted |
|---|
comment:3 by , 7 years ago
| Resolution: | → im Image |
|---|---|
| Status: | accepted → closed |
Name der Erweiterung: places-menu@…
comment:5 by , 7 years ago
| Resolution: | → erledigt |
|---|---|
| Status: | reopened → closed |
Doch, hat funktioniert. Nur Nutzer kup hat individuelle Einstellungen :-).
Note:
See TracTickets
for help on using tickets.
Siehe GnomeShell.