function navigatorPencilPatch() {
      var post_helsinki = minVersion('I');
      if (post_helsinki) {

        // hide the new pencil icon - we have edit via context menu
        addStyle(
          '#gsft_nav .sn-aside-btn.nav-edit-app,' +
          '#gsft_nav .sn-widget-list-action.nav-edit-module' +
          '{' +
            'display: none !important;' +
          '}'
        );

        // removing the pencil means we can shrink the navigator and give some
        // more width to the main frame (-28px)
        var width = config.navigator.width; // normally 285
        if (width != 285) {
          $('.navpage-nav').width(width);
          $('#nav_west').width(width);
          $('.navpage-main').css('left', width + 'px');
        }

        jslog('snd_ui16_developer_patch navigator pencil patch applied.');
      }
    }
/**
     * Hide the edit pencil which was added in Istanbul. We don't need it if we have
     * the context menu - it just takes up space.
     *
     * @return {undefined}
     */
Hide the edit pencil which was added in Istanbul. We don't need it if we have
the context menu - it just takes up space.

@return {undefined}
Hide the edit pencil which was added in Istanbul . We don ' t need it if we have the context menu - it just takes up space . @return { undefined }
function navigatorPencilPatch() {
      var post_helsinki = minVersion('I');
      if (post_helsinki) {
        addStyle(
          '#gsft_nav .sn-aside-btn.nav-edit-app,' +
          '#gsft_nav .sn-widget-list-action.nav-edit-module' +
          '{' +
            'display: none !important;' +
          '}'
        );
        var width = config.navigator.width; 
        if (width != 285) {
          $('.navpage-nav').width(width);
          $('#nav_west').width(width);
          $('.navpage-main').css('left', width + 'px');
        }
        jslog('snd_ui16_developer_patch navigator pencil patch applied.');
      }
    }
function navigatorPencilPatch ( ) { var post_helsinki = minVersion ( 'I' ) ; if ( post_helsinki ) { addStyle ( '#gsft_nav .sn-aside-btn.nav-edit-app,' + '#gsft_nav .sn-widget-list-action.nav-edit-module' + '{' + 'display: none !important;' + '}' ) ; var width = config . navigator . width ; if ( width != 285 ) { $ ( '.navpage-nav' ) . width ( width ) ; $ ( '#nav_west' ) . width ( width ) ; $ ( '.navpage-main' ) . css ( 'left' , width + 'px' ) ; } jslog ( 'snd_ui16_developer_patch navigator pencil patch applied.' ) ; } }
Hide the edit pencil which was added in Istanbul.
Hide the edit pencil which was added in Istanbul .
// hide the new pencil icon - we have edit via context menu // removing the pencil means we can shrink the navigator and give some // more width to the main frame (-28px) // normally 285