MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 9. Februar 2022, 18:50 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);
        });
  window.setTimeout(function() {
    $("#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");
    }, 1000);


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