MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 3. Februar 2022, 09:39 Uhr

$(document).ready( function() {
  var tree = $('#wikitext-sidebar');
  $('#p-logo').after( tree.html() );
  tree.remove();
  $('#siteTree').bind('fancytreeinit', function(event, data) {
        data.tree.makeTitleVisible();
        $('#siteTree').fancytree("option", "icons", false);
        });

  $("#siteTree").resizable( {
    minWidth: 200, maxWidth: 200, handles: "e", stop: function() {
      $("#content, #left-navigation").css("margin-left", ($(this).width()+25)+"px");
      $("#p-logo a").css("width", ($(this).width())+"px");
      }
    }).css("border-right", "#d3d3d3 4px ridge");


  $("#siteTree").height($(window).height()-250);
  $("#p-navigation").remove();
});