Add an API to get and set splitter positions as ratios in the WinWebDiff window. · WinMerge/winwebdiff@8fd7eff · GitHub
Skip to content

Add an API to get and set splitter positions as ratios in the WinWebDiff window. #88

Add an API to get and set splitter positions as ratios in the WinWebDiff window.

Add an API to get and set splitter positions as ratios in the WinWebDiff window. #88

Triggered via pull request September 4, 2026 21:18
Status Success
Total duration 22s
Artifacts 1

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning

Artifacts

Produced during runtime