ultraedit
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
ultraedit [2014/10/03 09:32] – created dblume | ultraedit [2014/10/09 17:03] – [Code on Linux Boxes] dblume | ||
---|---|---|---|
Line 44: | Line 44: | ||
if __name__ == ' | if __name__ == ' | ||
params = [win2nix(i) for i in sys.argv[1: | params = [win2nix(i) for i in sys.argv[1: | ||
+ | # Note: commands like " | ||
r = check_output(params) | r = check_output(params) | ||
nix2win(r) | nix2win(r) | ||
Line 101: | Line 102: | ||
// UltraEdit.outputWindow.write(" | // UltraEdit.outputWindow.write(" | ||
| | ||
- | if (file_to_open.length > 0) { // Is there a header or source file for the active file? | + | if (file_to_open.length > 0) { |
- | | + | |
- | var doc_index = 0; // Look if this file is already open. | + | |
- | do { | + | |
open_filename = UltraEdit.document[doc_index].path.toLowerCase(); | open_filename = UltraEdit.document[doc_index].path.toLowerCase(); | ||
if (open_filename == lowercase_file_to_open) { | if (open_filename == lowercase_file_to_open) { | ||
Line 110: | Line 109: | ||
break; | break; | ||
} | } | ||
- | } while (++doc_index < UltraEdit.document.length) | + | } |
- | + | ||
- | if (doc_index >= UltraEdit.document.length) | + | if (doc_index >= UltraEdit.document.length) |
+ | UltraEdit.outputWindow.write(" | ||
UltraEdit.open(file_to_open); | UltraEdit.open(file_to_open); | ||
+ | } | ||
| | ||
UltraEdit.activeDocument.gotoLine(line_number, | UltraEdit.activeDocument.gotoLine(line_number, |