зеркало из https://github.com/mozilla/pjs.git
Patch from Christopher Oliver to fix http://bugzilla.mozilla.org/show_bug.cgi?id=189183
This commit is contained in:
Родитель
ccb720f94c
Коммит
2081b5922b
|
@ -1658,10 +1658,11 @@ class SetFilePosition implements Runnable {
|
||||||
if (w.isIcon()) {
|
if (w.isIcon()) {
|
||||||
db.desk.getDesktopManager().deiconifyFrame(w);
|
db.desk.getDesktopManager().deiconifyFrame(w);
|
||||||
}
|
}
|
||||||
//db.desk.getDesktopManager().activateFrame(w);
|
db.desk.getDesktopManager().activateFrame(w);
|
||||||
try {
|
try {
|
||||||
w.show();
|
w.show();
|
||||||
//w.setSelected(true);
|
w.toFront(); // required for correct frame layering (JDK 1.4.1)
|
||||||
|
w.setSelected(true);
|
||||||
} catch (Exception exc) {
|
} catch (Exception exc) {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -3561,7 +3562,6 @@ public class Main extends JFrame implements Debugger, ContextListener {
|
||||||
* be used as the scope for loading scripts from files
|
* be used as the scope for loading scripts from files
|
||||||
* when the user selects "Open..." or "Run..."
|
* when the user selects "Open..." or "Run..."
|
||||||
*/
|
*/
|
||||||
|
|
||||||
public void setScopeProvider(ScopeProvider p) {
|
public void setScopeProvider(ScopeProvider p) {
|
||||||
scopeProvider = p;
|
scopeProvider = p;
|
||||||
}
|
}
|
||||||
|
@ -3570,7 +3570,6 @@ public class Main extends JFrame implements Debugger, ContextListener {
|
||||||
* Assign a Runnable object that will be invoked when the user
|
* Assign a Runnable object that will be invoked when the user
|
||||||
* selects "Exit..." or closes the Debugger main window
|
* selects "Exit..." or closes the Debugger main window
|
||||||
*/
|
*/
|
||||||
|
|
||||||
public void setExitAction(Runnable r) {
|
public void setExitAction(Runnable r) {
|
||||||
exitAction = r;
|
exitAction = r;
|
||||||
}
|
}
|
||||||
|
|
Загрузка…
Ссылка в новой задаче