Skip to content
View in the app

A better way to browse. Learn more.
Opusmodus

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

(defparameter *default-notation-editor* "MuseScore 4.app")

david
in Support & Troubleshooting

Featured Replies

Hi,

Where is this file ? (defparameter *default-notation-editor* "MuseScore 4.app")

image.png.0cd16f2ff84be1b2ba9a91680e511002.png

Therew is not a specific file for that.

Pleace the expression in the 'User Functions.lisp' file or any other file which is part of the Extensions directory.

  • Author

like this?
what should i do next?

image.png.ac9023996f2f7929fcca73ab090f6cc4.png

  • Author

Merci Stéphane:-)!

Create an account or sign in to comment
Go to topic listing

Copyright © 2014-2026 Opusmodus™ Ltd. All rights reserved.
Product features, specifications, system requirements and availability are subject to change without notice.
Opusmodus, the Opusmodus logo, and other Opusmodus trademarks are either registered trademarks or trademarks of Opusmodus Ltd.
All other trademarks contained herein are the property of their respective owners.

 Powered by Invision Community

Important Information

Terms of Use Privacy Policy

I accept

Account

Navigation

Search

Search

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.