面板/拾色器布局微调 + 修复“拖拽光标飞到视界边缘”(含根因与防复发)

一、样式区「系数/偏移」二级面板:两个偏移输入框等宽对齐
- 带说明文字的 EDIT 行原来各自按自己的文本长度 + 单位后缀算宽度,于是「时间轴」
  (文本更长、还带 `s` 后缀)的输入框比「Y轴」宽一截。现在同一次排布里所有
  带说明文字的输入框共用**同一个宽度**(取其中最大自然宽度,再按“给最宽的说明文字
  留位 / 不超过内容区 3/4”夹取),因此「Y轴」与「时间轴」严格等宽、右边界对齐。
- 断言:两个输入框 126.0 / 126.0,右边界 277.8 / 277.8。

二、自定义颜色浮层(拾色器)的绘制与排版
- **圆角不再漏像素**:色域方块的位图与色相条的渐变填充都**裁剪进同一个圆角路径**
  (新增公开的 `UiBuildRoundRectPath`,与 `UiFillRoundRect` / `UiDrawRoundRect`
  逐点同源),色相条的圆角与色域方块完全一致。以前填充是直角矩形,会在圆角描边之外
  露出四个尖角(色域左下/右下本身就是接近黑色的极值,看起来就是"角落里多出黑色像素点")。
- 色域位图改用 `WrapModeTileFlipXY` 贴图:插值不再采样到边界之外,边缘也不会被压暗。
- 色相条改用**一条带 7 个色标的线性渐变**画满(颜色与原来 6 段拼色一致),
  顺带去掉段与段之间的接缝横线。
- RGB 三行:轨道**两侧间隙相等**(左:字母 ↔ 轨道;右:轨道 ↔ 数值区,共用同一常量),
  数值区固定 **3 个字符宽**(与数字本身无关),三行轨道等长、同 x,R/G/B 字母与数值
  都**右对齐**,因此三个字母、三列数字纵向对齐。
- 色号:固定 **6+1 个字符宽**,**右边界与三行数值的右边界对齐**(像素级验证:两者
  最后一个字符同列);预览色块的长宽不变、左边界与轨道左边界对齐。
- 数值/色号正好 3 / 7 个字符宽,编辑态需要把文本区向外扩出输入框内边距,否则最后
  一个字符会被输入框内边距裁掉(新增 `PaddedEditRect`,绘制、命中与插入符定位共用)。

三、修复“用选区放大把视界放大到某个临界点后,拖拽光标就飞到视界边缘”
两个独立原因,都属于“不变量只在某一个调用点维护”:
1. **吸附到采样点**没有边界检查:只要采样点间距 ≥6px 就吸附,而视界一旦比一个采样间隔还窄
   (选区放大很容易做到),“最近的采样点”就落在视界之外,于是每一次鼠标移动都把光标
   吸到视界外、再被夹回边缘 → 表现为光标“飞到视界边缘后跟不动鼠标”。现在吸附要求
   视界内至少放得下 2 个采样点,且只接受**可见区间内**的采样点。
2. **选区放大没有最小跨度下限**:滚轮缩放有 `数据跨度 × 1e-9` 的下限,选区放大没有,
   可以一直放大到视界宽度只有几个 double ULP。此时“像素 → 时间”的映射退化
   (相邻像素映射到同一个 double),鼠标一动光标就跨几百像素。现在新增
   `MinimumTimeSpan`(数据跨度 × 1e-9 与 `ULP(时间) × 画布宽度` 取大者)与
   **视界的唯一写入口 `SetTimeView`**(拒绝非有限值、纠正左右颠倒、抬到下限之上、
   再按数据范围收敛),滚轮缩放 / 选区放大 / 平移 / 适应视图 / 时间轴适应网格全部走它。
- 另新增**光标位置的唯一写入口 `PlaceCursorTime`**(拖拽光标必须经由此处):
  拒绝非有限值 → 吸附(带上限与可见区间检查)→ 夹回可见区间。`XToTime` 也补上了
  跨度退化时的兜底。
- ⚠️ 为什么会反复出现:这两个不变量(“视界必须仍然可表示/可用”“光标必须落在可见区间内、
  且对应鼠标位置”)过去是**在每个调用点各自维护**的。后来加入的路径(选区放大、采样点吸附、
  派生信号/偏移等新算子)各自绕过了其中一个环节,而故障只有在放大到极限时才可见,
  于是每加一个新功能就可能复发一次。现在视界与光标各只有一个守门人,新功能必须经过它们。

四、离屏验证(窗口隐藏、不碰屏幕/鼠标/键盘)
- 新增 [AQ]:视界比采样间隔还窄时拖光标必须跟随鼠标(修复前偏差 630px、直接贴边);
  视界内采样点仍精确吸附;连续橡胶带放大不会再突破可分辨下限(停在 1e-9 数据跨度),
  且在极限缩放下拖拽仍精确跟随(修复前 490px 偏差)。
- 新增 [AR]:色域方块与色相条四角之外不再有填充像素(角像素从填充色变为面板底色)、
  两侧间隙相等、数值列 3 字符、色号 7 字符且与数值右边界同列(像素级)、预览色块左边界
  与轨道左边界对齐、三条轨道等长同 x。
- [AP] 增加两个偏移输入框等宽/右对齐断言。
- ⚠️ 修正 harness 的一个**假通过**:`SetAllVisible(false)` 会清掉标签页的“视图已初始化”标记,
  首次渲染的 `FitAll()` 会把测试设置的深缩放覆盖掉([Z]/[AI]/[AQ] 的“深缩放”其实一直在
  整段数据上跑,所以这类回归能溜过去)。现在相关用例显式置位该标记,[Z]/[AI] 真正进入
  深缩放;并补上用例间残留弹出菜单的隔离(面板停在窗口下半部会向上翻转盖住按钮,
  吞掉下一个用例的首次点击)。
- 合计 669/669 通过(连续 4 次);`make release` 零警告(Target.exe 正在运行,链接待其关闭,
  已用临时输出名验证链接自身成功)。
This commit is contained in:
DeepSeek V4.1 Flash committed 2026-10-13 20:20:38 +08:00
1 parent fc77b0262f
commit 940b8e67e6
8 files changed
+394 -127

No files matched your search

+116 -41
View File
@@ -1,4 +1,4 @@
#include "PlotView.hpp"
#include "PlotView.hpp"
#include <algorithm>
#include <cmath>
@@ -876,12 +876,13 @@ namespace jdi
double PlotView::XToTime(float x) const
{
const double viewMin = Tab().ViewMin();
if (m_plotRect.Width <= 0.0f)
const double span = Tab().ViewMax() - viewMin;
if (m_plotRect.Width <= 0.0f || !(span > 0.0))
{
return viewMin;
}
const double ratio = static_cast<double>(x - m_plotRect.X) / static_cast<double>(m_plotRect.Width);
return viewMin + ratio * (Tab().ViewMax() - viewMin);
return viewMin + ratio * span;
}
float PlotView::ValueToY(double value, const LaneVisual& lane) const
@@ -954,9 +955,57 @@ namespace jdi
}
}
double PlotView::MinimumTimeSpan(double low, double high) const
{
double dataMin = 0.0;
double dataMax = 1.0;
TimeBounds(dataMin, dataMax);
const double dataSpan = std::max(dataMax - dataMin, kMinTimeSpan);
// double 在“时间量级”上的最小刻度(ULP):视界宽度低于 `ULP × 画布宽度` 时,
// 一列像素对应的 double 已经无法区分,映射彻底退化。
const double magnitude = std::max(std::fabs(low), std::fabs(high));
const double ulp =
std::nextafter(magnitude, std::numeric_limits<double>::infinity()) - magnitude;
const double width = std::max(64.0, static_cast<double>(m_plotRect.Width));
return std::max(dataSpan * 1.0e-9, std::max(ulp, kMinTimeSpan) * width);
}
void PlotView::SetTimeView(double low, double high)
{
if (!std::isfinite(low) || !std::isfinite(high))
{
return;
}
if (high < low)
{
std::swap(low, high);
}
const double minimum = MinimumTimeSpan(low, high);
if (!(high - low >= minimum))
{
// 低于下限:以中心为锚点对称展开(而不是静默地放大到不可表示)。
const double center = (low + high) * 0.5;
low = center - minimum * 0.5;
high = center + minimum * 0.5;
if (!(high - low > 0.0))
{
// 连下限都无法表示(时间量级远超可分辨范围):放弃这次修改,
// 保留上一个仍然可用的视界比制造一个空视界更安全。
return;
}
}
Tab().ViewMin() = low;
Tab().ViewMax() = high;
ClampTimeView();
}
void PlotView::ZoomTimeAt(double factor, double anchorTime)
{
if (m_dataSet == nullptr || m_dataSet->Empty() || !(factor > 0.0))
if (m_dataSet == nullptr || m_dataSet->Empty() || !(factor > 0.0) || !std::isfinite(anchorTime))
{
return;
}
@@ -967,12 +1016,18 @@ namespace jdi
const double dataSpan = std::max(dataMax - dataMin, kMinTimeSpan);
const double span = Tab().ViewMax() - Tab().ViewMin();
double newSpan = ClampDouble(span / factor, dataSpan * 1.0e-9, dataSpan * 100.0);
if (!(span > 0.0))
{
return;
}
// 下限与选区放大共用同一个来源(见 `MinimumTimeSpan`),
// 否则“滚轮缩放有限制、选区放大没有”会让视界退化到不可用。
const double minimum = MinimumTimeSpan(Tab().ViewMin(), Tab().ViewMax());
const double newSpan = ClampDouble(span / factor, minimum, dataSpan * 100.0);
const double ratio = (span > 0.0) ? (anchorTime - Tab().ViewMin()) / span : 0.5;
Tab().ViewMin() = anchorTime - ratio * newSpan;
Tab().ViewMax() = Tab().ViewMin() + newSpan;
ClampTimeView();
const double ratio = (anchorTime - Tab().ViewMin()) / span;
const double low = anchorTime - ratio * newSpan;
SetTimeView(low, low + newSpan);
}
void PlotView::ZoomTimeStep(double factor)
@@ -985,9 +1040,7 @@ namespace jdi
{
const double span = Tab().ViewMax() - Tab().ViewMin();
const double delta = span * fraction;
Tab().ViewMin() += delta;
Tab().ViewMax() += delta;
ClampTimeView();
SetTimeView(Tab().ViewMin() + delta, Tab().ViewMax() + delta);
}
void PlotView::ScrollLanesByFraction(double fraction)
@@ -1001,8 +1054,7 @@ namespace jdi
{
if (m_dataSet == nullptr || m_dataSet->Empty())
{
Tab().ViewMin() = 0.0;
Tab().ViewMax() = 1.0;
SetTimeView(0.0, 1.0);
Tab().ViewInitialized() = true;
return;
}
@@ -1017,8 +1069,7 @@ namespace jdi
high += padding;
}
Tab().ViewMin() = low;
Tab().ViewMax() = high;
SetTimeView(low, high);
Tab().ViewInitialized() = true;
Tab().LaneScroll() = 0.0f;
// 只放下进行中的选区与拖拽,**不改变「选区放大」等缩放模式的启用状态**
@@ -1307,8 +1358,7 @@ namespace jdi
return false;
}
Tab().ViewMin() = low;
Tab().ViewMax() = high;
SetTimeView(low, high);
Tab().ViewInitialized() = true;
// 与“适应视图”保持一致:退出选区放大模式,避免模式按钮与实际状态不符。
Tab().ZoomMode() = PlotZoomMode::NONE;
@@ -1404,6 +1454,12 @@ namespace jdi
}
const double minPixels = static_cast<double>(kCursorSnapMinPixels) * static_cast<double>(m_scale);
// 吸附的上门限:视界内至少要放得下 2 个采样点。
// 视界比采样间隔还窄时(选区放大很容易做到),"最近采样点"落在视界之外或半个视界之外,
// 吸附会把光标一把甩到视界边缘并钉住 —— 用户报告的"拖光标直接飞到视界外"。
const double maxPixels = 0.5 * static_cast<double>(m_plotRect.Width);
const double viewMin = Tab().ViewMin();
const double viewMax = Tab().ViewMax();
bool found = false;
double bestDistance = std::numeric_limits<double>::infinity();
@@ -1413,7 +1469,7 @@ namespace jdi
{
// 只有采样点在屏幕上足够稀疏时才吸附,否则缩小视图后光标会“跳格”。
double pixels = 0.0;
if (!SampleSpacingPixels(file, time, pixels) || pixels < minPixels)
if (!SampleSpacingPixels(file, time, pixels) || pixels < minPixels || pixels > maxPixels)
{
continue;
}
@@ -1428,6 +1484,11 @@ namespace jdi
{
continue;
}
// 只吸附**当前可见区间内**的采样点:视界之外的采样点不是合法的落点。
if (candidate < viewMin || candidate > viewMax)
{
continue;
}
const double distance = std::fabs(candidate - time);
if (distance < bestDistance)
@@ -1445,6 +1506,32 @@ namespace jdi
return found;
}
void PlotView::PlaceCursorTime(int which, double time)
{
if (!std::isfinite(time))
{
// NaN/Inf 会让后面所有比较都失效(`ClampDouble` 也拦不住 NaN),
// 光标会被画到画布之外:直接丢弃这次位置更新。
return;
}
double snapped = 0.0;
if (SnapTimeToSample(time, snapped))
{
time = snapped;
}
if (which == 2)
{
Tab().CursorTimeAlt() = time;
}
else
{
Tab().CursorTime() = time;
}
ClampCursorToView(which);
}
PlotZoomMode PlotView::CurrentZoomMode() const
{
return Tab().ZoomMode();
@@ -1628,9 +1715,11 @@ namespace jdi
return false;
}
Tab().ViewMin() = timeA;
Tab().ViewMax() = timeB;
ClampTimeView();
// 统一入口:内含最小跨度下限。
// ⚠️ 选区放大过去**没有**这个下限,可以一直放大到视界宽度只有几个 double ULP;
// 到那时「像素 → 时间」已经退化(相邻像素映射到同一个 double),
// 用户看到的就是“拖光标跟不动、一下跳到视界边缘/几百像素外”。
SetTimeView(timeA, timeB);
// 注意:不在这里移动光标——即使选区不包含光标,也只把它的读数贴在网格边缘显示。
// 「选区 Y 轴自适应」开关开启的网格:时间选区放大后自动把 Y 轴匹配到新的可见区间。
@@ -4131,27 +4220,13 @@ namespace jdi
case PlotDragMode::CURSOR_MOVE:
{
// 从时间读数标签上抓起时保留横向抓取偏移,避免一按下光标就跳到鼠标中心。
double target = XToTime(fx - static_cast<float>(m_cursorGrabOffset));
double snapped = target;
if (SnapTimeToSample(target, snapped))
{
target = snapped;
}
const double target = XToTime(fx - static_cast<float>(m_cursorGrabOffset));
const bool second =
(m_hoverCursor == 2 && Tab().CursorMode() == PlotCursorMode::DOUBLE);
if (second)
{
Tab().CursorTimeAlt() = target;
}
else
{
Tab().CursorTime() = target;
}
// 抓取读数标签时可能带有一个较大的横向抓取偏移(放大到一定程度后该偏移
// 换算成的时间可能落到视界之外)——拖拽结束前必须把光标夹回当前可见区间,
// 否则用户会看到光标线"跑到视界外"而无法继续操作。
ClampCursorToView(second ? 2 : 1);
// 吸附 + 夹取统一在 `PlaceCursorTime` 里完成(光标位置不变量只在那里维护):
// * 吸附只接受可见区间内、且视界内还能分辨的采样点;
// * 结果必定落在当前可见区间内(否则用户看到的是一拖就"飞到视界边缘")。
PlaceCursorTime(second ? 2 : 1, target);
m_dragMoved = true;
m_cursorHover = true;
return true;