Settings menu: add desktop integration?

[Matt Wilkie]

What do you think of adding a "Integration" menu item to Settings?

(part of "Have Leo self register with operating system (create menu links, icons, etc) #1012")

Settings:
   Desktop Integration:
      - Register .leo file types
      - Add Menu links
      - Remove .leo file types
      - Remove Menu links

The goal being to eliminate the need for instructions like:

"""

From File menu:

1. Open specific Leo file
1. scripts.leo
2. Find "Windows only scripts" node
   
3. select @file win-register-leo.leox
4. Execute script (Ctrl-B)

"""

Step 1.2 in particular can be unecessarily cumbersome.

If entries like this are added they should be platform aware, so Linux users don't have to ignore Windows entries and vice versa.

Maybe there's another way to solve this too. Like adding a Desktop-Integration.leo file to "Open specific leo file" entry list.

-matt

[Matt Wilkie]

Maybe there's another way to solve this too. Like adding a Desktop-Integration.leo file to "Open specific leo file" entry list.

See https://github.com/leo-editor/leo-editor/issues/1244 and `leo\scripts\Desktop-integration.leo`