mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote-tracking branch 'origin/master'
This commit is contained in:
+1
-1
@@ -276,7 +276,7 @@ public class CodeStyleSchemesConfigurable extends SearchableConfigurable.Parent.
|
||||
|
||||
@Override
|
||||
public void schemeChanged(final CodeStyleScheme scheme) {
|
||||
//do nothing
|
||||
reset();
|
||||
}
|
||||
});
|
||||
}
|
||||
|
||||
@@ -40,6 +40,8 @@ for arg in sys.argv:
|
||||
argv.append(arg)
|
||||
sys.argv = argv
|
||||
|
||||
cwd = os.getcwd()
|
||||
main()
|
||||
if run_cov:
|
||||
os.chdir(cwd)
|
||||
main(["xml", "-o", coverage_file + ".xml", "--ignore-errors"])
|
||||
Reference in New Issue
Block a user