Lines Matching defs:window
164 })(window, window.jQuery);
166 (function(window, $) {
193 var l = inner.getLinesParts(window.location.hash)
196 window.location.hash = "#" + Math.min(l[0], val) + "-" + Math.max(val, l[1])
198 window.location.hash = "#" + Math.min(l[0], val) + "-" + Math.max(l[0], val)
245 var lines = inner.lines(window.location.hash);
277 var lines = inner.getLinesParts(window.location.hash);
330 $(window).on("hashchange", inner.reload)
346 }) (window, window.jQuery);
351 (function (window, document, $) {
356 contextPath: window.contextPath,
379 })(window, document, jQuery);
382 * General window plugin
384 * This plugin allows you to create a new window inside the browser. The main
388 * $myWindow = $.window.create({
390 * project: 'abcd', // not existing in window options and will be filled
391 * draggable: false, // override the window defaults
393 * init: function ($window) {
394 * // called when creating the new window
395 * // you can modify the new window object - it's jquery object
397 * load: function ($window) {
402 * // called when update is called on your window bypassing the data param
403 * // you can modify the window content or other DOM content
408 * // the window itself is available as this.$window
419 * The window object also provides some userful functions like
422 * $myWindow.move(position) to move the window to the given position
428 var window = function () {
438 this.$window = undefined;
445 * Default values for the window options.
478 this.$window = (this.callbacks[name][i].callback.apply(
480 args || [this.$window])) || this.$window
495 var $w = this.$window;
511 console.log("The window plugin requires $.script plugin when draggable option is 'true'")
516 self.$window.draggable({
532 this.addCallback('init', function ($window) {
543 $window = $("<div>")
544 .addClass('window')
553 $window.hide()
558 * Display custom error message in the window
562 $window.error = function (msg) {
573 * Move the window to the position. If no position is given
579 $window.move = function (position) {
585 * Toggle and move the window to the current mouse position
589 $window.toggleAndMove = function () {
594 * Update the window with given data.
599 $window.update = function (data) {
608 // insert window into context
609 this.context = $.extend(this.context, {$window: $window});
612 $window.initialized = true;
614 $window.loaded = false;
616 return $window;
619 this.addCallback('load', function ($window) {
629 that.$window.hide();
641 this.addCallback('load', function ($window) {
642 this.$window.appendTo(this.options.parent ? $(this.options.parent) : $("body"));
659 self.$window.loaded = true;
669 return this.$window;
673 * Create a window.
677 * @returns new window object
683 $.window = new ($.extend(window, $.window ? $.window : {}));
684 })(window, document, jQuery, jQuery.script);
687 * Intelligence window plugin.
691 (function (browserWindow, document, $, $window) {
692 if (!$window || typeof $window.create !== 'function') {
693 console.log("The intelligenceWindow plugin requires $.window plugin")
700 return $.intelliWindow = $window.create($.extend({
701 title: 'Intelligence window',
705 init: function ($window) {
752 return $window
754 .addClass('intelli-window')
766 load: function ($window) {
773 that.$window.toggleAndMove();
816 this.$window.find('.hidden-on-start').show()
817 this.$window.find(".symbol-name").text(this.symbol);
818 this.$window.find(".symbol-description").text(this.getSymbolDescription(this.place))
822 this.$search_defs = this.$search_defs || this.$window.find('.search-defs')
823 this.$search_refs = this.$search_refs || this.$window.find('.search-refs')
824 this.$search_full = this.$search_full || this.$window.find('.search-full')
825 this.$search_files = this.$search_files || this.$window.find('.search-files')
826 this.$search_google = this.$search_google || this.$window.find('.search-google')
902 this.$window.error("This is the last occurence!")
913 this.$window.error("This is the first occurence!")
919 this.$window.error("Uknown direction")
938 })(window, document, jQuery, jQuery.window);
941 * Messages window plugin.
945 (function (browserWindow, document, $, $window) {
946 if (!$window || typeof $window.create !== 'function') {
947 console.log("The messagesWindow plugin requires $.window plugin")
953 return $.messagesWindow = $window.create(options = $.extend({
956 init: function ($window) {
957 return $window
959 .addClass('messages-window')
964 load: function ($window) {
965 $window.mouseenter(function () {
966 $window.show()
968 $window.hide()
973 var old = $window[this]
974 $window[this] = function () {
975 return old.call($window).move();
1011 })(window, document, jQuery, jQuery.window);
1014 * Scopes window plugin.
1018 (function (browserWindow, document, $, $window) {
1019 if (!$window || typeof $window.create !== 'function') {
1020 console.log("The scopesWindow plugin requires $.window plugin")
1026 return $.scopesWindow = $window.create($.extend({
1029 init: function ($window) {
1030 return $window
1032 .addClass('scopes-window')
1037 load: function ($window) {
1038 $window.hide().css('top', parseFloat($("#content").css('top').replace('px', '')) + 10 + 'px')
1043 var old = $window[event];
1044 $window[event] = function () {
1045 return old.call($window).trigger(event);
1050 if(!this.$window.is(':visible') && !this.$window.data('shown-once')) {
1051 this.$window.show().data('shown-once', true);
1065 })(window, document, jQuery, jQuery.window);
1237 * Initialize inteligence window plugin. Presence of #contextpath indicates
1272 * Initialize the window hash management. Mainly this allows users to select
1311 window.onload = function() {
1325 * window (i.e. the space between the header and the bottom of the window) and
1346 getParameter.params = window.location.search.substr(1).split("&").map(
1389 if (!window.location.hash) {
1392 window.location.hash = h;
1444 $(window).resize(
1490 var link = window.location.pathname + "?a=true";
1494 if (window.location.hash) {
1500 link += window.location.hash.substring(1, window.location.hash.length);
1502 window.location = link;
1521 $(window).resize(function() {
1529 /* ------ Navigation window for definitions ------ */
1571 document.sym_div_left = $(window)
1577 document.sym_div_height = $(window)
1595 * Toggle the display of the 'Navigation' window used to highlight definitions.