mirror of
https://github.com/qelectrotech/qelectrotech-source-mirror.git
synced 2026-10-22 06:14:14 +02:00
5641b031f9
A linked folio report now shows a pointing hand under the mouse, on its arrow as well as on the text that shows its label (which already turned blue), and a double click on the arrow goes to the other end, as a double click on the text did. Before, a double click on the arrow opened the report's properties, which stay reachable from the context menu and the properties panel. The end jumped to is highlighted for two seconds, with the same blue as the hover highlight but independent of it: the hover highlight is cleared as soon as the mouse leaves the end jumped from, so on the same folio the user saw nothing mark where the jump landed. The text of a linked slave that shows its master's label gets the same blue and hand, since a double click on it already jumped to the master. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
61 lines
2.8 KiB
Python
Executable File
61 lines
2.8 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
"""Link the report jump integration probe using an existing Ninja app build.
|
|
|
|
Reuses app objects without duplicating the app or introducing a core-library
|
|
refactor. No application source or existing executable is replaced. The
|
|
generated manifest, probe binary, reports and export fixtures stay in build/.
|
|
"""
|
|
import argparse
|
|
import pathlib
|
|
import re
|
|
import shutil
|
|
import subprocess
|
|
import sys
|
|
|
|
parser = argparse.ArgumentParser()
|
|
parser.add_argument('--build', required=True)
|
|
parser.add_argument('--binary', required=True)
|
|
parser.add_argument('--source', required=True)
|
|
parser.add_argument('--fixture', required=True)
|
|
args = parser.parse_args()
|
|
build = pathlib.Path(args.build).resolve()
|
|
binary = pathlib.Path(args.binary).resolve()
|
|
source = pathlib.Path(args.source).resolve()
|
|
fixture = pathlib.Path(args.fixture).resolve()
|
|
manifest = (build / 'build.ninja').read_text(encoding='utf-8')
|
|
match = re.search(r'^build (\S*?/sources/main\.cpp\.(?:obj|o)):', manifest, re.MULTILINE)
|
|
if not match:
|
|
sys.exit('Cannot find the application main object in the Ninja build.')
|
|
main_object = match.group(1)
|
|
probe_object = main_object.replace('main.cpp.', 'report_jump_probe.cpp.')
|
|
probe_binary = binary.with_name('report_jump_probe' + binary.suffix)
|
|
def escape(path):
|
|
return pathlib.Path(path).as_posix().replace('$', '$$').replace(':', '$:').replace(' ', '$ ')
|
|
main_source = source.parents[2] / 'sources' / 'main.cpp'
|
|
manifest = manifest.replace(main_object, probe_object)
|
|
manifest = manifest.replace(escape(main_source), escape(source))
|
|
if binary.suffix:
|
|
manifest = manifest.replace(binary.name, probe_binary.name)
|
|
else:
|
|
old_target = escape(binary.name if binary.parent == build else binary)
|
|
new_target = escape(probe_binary.name if probe_binary.parent == build else probe_binary)
|
|
manifest = manifest.replace('build ' + old_target + ':', 'build ' + new_target + ':')
|
|
old_file = binary.name if binary.parent == build else binary.as_posix()
|
|
new_file = probe_binary.name if probe_binary.parent == build else probe_binary.as_posix()
|
|
manifest = re.sub(r'^ TARGET_FILE = ' + re.escape(old_file) + r'$',
|
|
' TARGET_FILE = ' + new_file, manifest, flags=re.MULTILINE)
|
|
probe_manifest = build / 'report-jump-probe.ninja'
|
|
probe_manifest.write_text(manifest, encoding='utf-8')
|
|
ninja = shutil.which('ninja')
|
|
if not ninja:
|
|
sys.exit('Ninja is required for the integration probe.')
|
|
target = probe_binary.name if probe_binary.parent == build else str(probe_binary)
|
|
subprocess.run([ninja, '-C', str(build), '-f', probe_manifest.name, target], check=True)
|
|
output = build / 'report-jump'
|
|
output.mkdir(exist_ok=True)
|
|
report = output / 'results.txt'
|
|
result = subprocess.run([str(probe_binary), str(fixture), str(report), str(output)], timeout=90)
|
|
if report.exists():
|
|
print(report.read_text(encoding='utf-8', errors='replace'))
|
|
sys.exit(result.returncode)
|