Menu editor not working
thomas at s7.dion.ne.jp
Thu Nov 1 15:32:20 UTC 2018
Good evening (rather good night) everyone
On 2018/10/31 18:19, Ralf Mardorf via ubuntu-users wrote:
> did "someone" suggested that in reply to a request you already posted
I asked for help at the Tokyo Linux User Group (I happen to live in
Japan) and they suggested I should ask here.
Well, I am very sorry for the commotion I caused and at the same time
thankful for all the information.
I have to confess: I AM using Cinnamon, which seems to be very unpopular
Personally I like its appearance and had so far no problems with it. The
menu editor too is working on two other computers.
While most of the technical suggestions are rather beyond my
comprehension of computer technology,
the problem is not really a "problem" - just a little annoying.
The OS provides the function of menu editing. All I wanted to do is use it.
Searching the net I found, that it is possible to install Mate in
addition to Cinnamon.
I will try to do that (when I can find the time) and see what happens.
PS: Mint 19 is said to be based on Ubuntu 18.04 LTS
Cinnmon on Gnome 3
Third party packages: I checkmarked a box during installation, asking me
whether I want to have third party packages
related to Wi-Fi, graphics, codecs etc. installed. It did not say, what
those packages are.
> "Users of Ubuntu and officially supported derivatives
> (Kubuntu, Edubuntu, Xubuntu, Lubuntu) can get support here. Users of
> derivatives (such as Backtrack and Linux Mint) are not officially
I will try not to bother the list again.
More information about the ubuntu-users