|
@@ -9465,11 +9465,15 @@ var self=this,$self=this;
|
|
//>>excludeStart("ctx", pragmas.excludeDebugContexts);
|
|
//>>excludeStart("ctx", pragmas.excludeDebugContexts);
|
|
return $core.withContext(function($ctx1) {
|
|
return $core.withContext(function($ctx1) {
|
|
//>>excludeEnd("ctx");
|
|
//>>excludeEnd("ctx");
|
|
-var $1;
|
|
|
|
|
|
+var $1,$2;
|
|
$1=$self._isSelectionDisabled();
|
|
$1=$self._isSelectionDisabled();
|
|
if($core.assert($1)){
|
|
if($core.assert($1)){
|
|
return self;
|
|
return self;
|
|
}
|
|
}
|
|
|
|
+$2=$recv($self._tabs())._includes_(aTab);
|
|
|
|
+if(!$core.assert($2)){
|
|
|
|
+return self;
|
|
|
|
+}
|
|
$recv($recv($self._manager())._keyBinder())._flushBindings();
|
|
$recv($recv($self._manager())._keyBinder())._flushBindings();
|
|
$recv(aTab)._registerBindings();
|
|
$recv(aTab)._registerBindings();
|
|
$self.activeTab=aTab;
|
|
$self.activeTab=aTab;
|
|
@@ -9483,11 +9487,11 @@ return self;
|
|
},
|
|
},
|
|
//>>excludeStart("ide", pragmas.excludeIdeData);
|
|
//>>excludeStart("ide", pragmas.excludeIdeData);
|
|
args: ["aTab"],
|
|
args: ["aTab"],
|
|
-source: "activate: aTab\x0a\x09self isSelectionDisabled ifTrue: [ ^ self ].\x0a\x0a\x09self manager keyBinder flushBindings.\x0a\x09aTab registerBindings.\x0a\x09activeTab := aTab.\x0a\x09\x0a\x09self \x0a\x09\x09refresh;\x0a\x09\x09addToHistory: aTab;\x0a\x09\x09show: aTab",
|
|
|
|
|
|
+source: "activate: aTab\x0a\x09self isSelectionDisabled ifTrue: [ ^ self ].\x0a\x09(self tabs includes: aTab) ifFalse: [ ^ self ].\x0a\x0a\x09self manager keyBinder flushBindings.\x0a\x09aTab registerBindings.\x0a\x09activeTab := aTab.\x0a\x09\x0a\x09self \x0a\x09\x09refresh;\x0a\x09\x09addToHistory: aTab;\x0a\x09\x09show: aTab",
|
|
referencedClasses: [],
|
|
referencedClasses: [],
|
|
//>>excludeEnd("ide");
|
|
//>>excludeEnd("ide");
|
|
pragmas: [],
|
|
pragmas: [],
|
|
-messageSends: ["ifTrue:", "isSelectionDisabled", "flushBindings", "keyBinder", "manager", "registerBindings", "refresh", "addToHistory:", "show:"]
|
|
|
|
|
|
+messageSends: ["ifTrue:", "isSelectionDisabled", "ifFalse:", "includes:", "tabs", "flushBindings", "keyBinder", "manager", "registerBindings", "refresh", "addToHistory:", "show:"]
|
|
}),
|
|
}),
|
|
$globals.HLTabsWidget);
|
|
$globals.HLTabsWidget);
|
|
|
|
|