MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 9. Februar 2022, 19:09 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();

  // Zum gewählten Menüpunkt scrollen
  window.setTimeout(function() {
     if ($('#siteTree .fancytree-active').length > 0 && $('#siteTree .fancytree-active').position().top > $("#siteTree").height())
        $('#siteTree').animate({scrollTop: $('#siteTree .fancytree-active').position().top});
     }, 500);
});