MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 9. Februar 2022, 19:19 Uhr

$(document).ready( function() {
   // SideTree
   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").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);
   
   // SideTree in der Breite ändern können
//   $("#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");

   });