Lines Matching refs:persistedState

6280         Firebug.context.persistedState.isOpen = false;
6503 var persistedState = prefs.persistedState || FBL.defaultPersistedState;
6511 if (Firebug.context && persistedState)
6512 Firebug.context.persistedState = persistedState;
6531 var persistedState = Firebug.context.persistedState;
6532 if (!persistedState)
6534 persistedState = Firebug.context.persistedState = FBL.defaultPersistedState;
6537 prefs.persistedState = persistedState;
6657 destroyContext: function(context, persistedState) argument
7798 Firebug.context.persistedState.selectedPanelName = panelName;
9402 var persistedState = prefs && prefs.persistedState || defaultPersistedState;
9431 var height = persistedState.height || 300;
9544 var height = persistedState.popupHeight || 300;
9550 var popupLeft = typeof persistedState.popupLeft == "number" ?
9551 persistedState.popupLeft : browserWinLeft;
9556 var popupTop = typeof persistedState.popupTop == "number" ?
9557 persistedState.popupTop :
9567 var popupWidth = typeof persistedState.popupWidth == "number" ?
9568 persistedState.popupWidth :
9578 var popupHeight = typeof persistedState.popupHeight == "number" ?
9579 persistedState.popupHeight : 300;
10265 self.selectPanel(Firebug.context.persistedState.selectedPanelName);
10267 … if (Firebug.context.persistedState.selectedPanelName == "Console" && Firebug.CommandLine)
10556 var shouldOpen = forceOpen || !Firebug.context.persistedState.isOpen;
10608 Firebug.context.persistedState.selectedPanelName = oldChrome.selectedPanel.name;
10630 …sideWidthValue = Firebug.chrome.sidePanelVisible ? Firebug.context.persistedState.sidePanelWidth :…
10863 Firebug.context.persistedState.height = size.height;
10930 if (!Firebug.context.persistedState.isOpen)
10932 Firebug.context.persistedState.isOpen = true;
10978 if (Firebug.context.persistedState.isOpen)
10986 Firebug.context.persistedState.isOpen = false;
11052 fbVSplitterStyle.right = Firebug.context.persistedState.sidePanelWidth + "px";
11127 node.style.height = Firebug.context.persistedState.height + "px";
11206 Firebug.context.persistedState.popupTop = top;
11207 Firebug.context.persistedState.popupLeft = left;
11208 Firebug.context.persistedState.popupWidth = size.width;
11209 Firebug.context.persistedState.popupHeight = size.height;
11506 Firebug.context.persistedState.height = chromeHeight;
11562 Firebug.context.persistedState.sidePanelWidth = x;
13956 … var offsetHeight = Firebug.chrome.type == "frame" ? Firebug.context.persistedState.height : 0;
21899 initContext: function(context, persistedState) argument
21938 destroyContext: function(context, persistedState) argument
23708 Firebug.context.persistedState.commandHistory.push(command);
23709 Firebug.context.persistedState.commandPointer =
23710 Firebug.context.persistedState.commandHistory.length;
23755 Firebug.context.persistedState.commandHistory =
23756 Firebug.context.persistedState.commandHistory || [];
23758 Firebug.context.persistedState.commandPointer =
23759 Firebug.context.persistedState.commandPointer || -1;
23907 if (Firebug.context.persistedState.commandPointer > 0 &&
23908 Firebug.context.persistedState.commandHistory.length > 0)
23910 this.element.value = Firebug.context.persistedState.commandHistory
23911 [--Firebug.context.persistedState.commandPointer];
23919 var limit = Firebug.context.persistedState.commandHistory.length -1;
23920 var i = Firebug.context.persistedState.commandPointer;
23923 element.value = Firebug.context.persistedState.commandHistory
23924 [++Firebug.context.persistedState.commandPointer];
23928 ++Firebug.context.persistedState.commandPointer;
24571 Firebug.context.persistedState.selectedHTMLElementId =
24572 Firebug.context.persistedState.selectedHTMLElementId &&
24573 ElementCache.get(Firebug.context.persistedState.selectedHTMLElementId) ?
24574 Firebug.context.persistedState.selectedHTMLElementId :
24577 Firebug.HTML.selectTreeNode(Firebug.context.persistedState.selectedHTMLElementId);
24603 if(Firebug.context.persistedState.selectedHTMLElementId)
24604 Firebug.HTML.selectTreeNode(Firebug.context.persistedState.selectedHTMLElementId);
24658 Firebug.context.persistedState.selectedHTMLElementId = e.id;
28087 var selection = ElementCache.get(Firebug.context.persistedState.selectedHTMLElementId);
30784 var selection = ElementCache.get(Firebug.context.persistedState.selectedHTMLElementId);