Menu editor not working

[Thomas Blasejewicz]

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
> somewhere?
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 
here.
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
> supported."
I will try not to bother the list again.
Thank you.
Thomas