Skip to content

W
wendelin
Commit 367ed3a4 authored by Ivan Tyagov's avatar Ivan Tyagov
Browse files
Options

Set Code Mirror as default code editor.

parent ebf155b9
Pipeline #32105 failed with stage
    in 0 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 3 additions and 0 deletions
    bt5/erp5_wendelin_configurator/SkinTemplateItem/portal_skins/erp5_configurator_wendelin/BusinessConfiguration_afterWendelinConfiguration.py
    View file @ 367ed3a4
    ...@@ -9,7 +9,10 @@ portal = context.getPortalObject() ...@@ -9,7 +9,10 @@ portal = context.getPortalObject()
    default_site_preference = getattr(portal.portal_preferences, default_site_preference = getattr(portal.portal_preferences,
    'default_site_preference', None) 'default_site_preference', None)
    if default_site_preference is not None: if default_site_preference is not None:
    # enable default gadget UI
    default_site_preference.setPreferredHtmlStyleAccessTab(True) default_site_preference.setPreferredHtmlStyleAccessTab(True)
    # set code mirror as default source code editor
    default_site_preference.setPreferredSourceCodeEditor("codemirror")
    if default_site_preference.getPreferenceState() == "disabled": if default_site_preference.getPreferenceState() == "disabled":
    default_site_preference.enable() default_site_preference.enable()
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment
    GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7