窗口

围着每一个页面的那个框：带着主题按键和用户小块的标题栏、导航栏以及什么让每一个条目显示出来、状态栏和它的操作记录条、运行时停止那条带子、各种通知、崩溃同意窗口、连接断了时显示的那几块画面、全屏，以及系统托盘。

Ganter Lab 的每一个页面都画在同一个框里：一条标题栏、左边一条导航栏、页面本身，以及底部一条状态栏。这个框在每一个页面上、在每一块看着这台工作站的屏幕上都一样，工作站自己的窗口和网络上的浏览器都一样（见远程访问）；两者少数几处不同在下面点名。看到这个框不需要任何权限，但它的好几个条目和标记只为持有相应权限的身份画出来，和它们背后那些页面完全一样。

这个框一眼看过去

窗口打开时不会小于 880 乘 520 像素，并在两次启动之间记住你把它留在了哪里（位置、大小、是否最大化）；见首次启动。

标题栏

帮助键

标题栏右边那一组最左边的一个问号，和主题按键之间隔着一条细分隔线。它打开随页帮助下面讲的那块帮助面板，面板开着的时候它自己也做上标记。它在每一条路由上、对每一种身份、以及运行时停止期间都画出来。

主题按键

三个按键并排，顺序如下，每一个都有一句写出它名字的提示文字：

抬起来的那个按键是存下来的偏好，绝不是它解析出来的那个外观：跟随系统看上去像浅色或者深色的时候，它照样标着跟随系统。按一个按键，就把它实时应用到按下它的那块屏幕，并把它作为工作站的偏好存进配置数据库；设置的“外观”显示和改动的是同样这三个取值。这个偏好属于工作站，不属于某块屏幕：从浏览器上做的一次改动，工作站自己的窗口立刻跟上，而另一个浏览器在它的页面重新加载时接过来。

用户小块

在主题按键右边，隔着一条细分隔线，这个小块写明这块屏幕上登录的是谁：没有人时是登录，有人之后是那个显示名。人形字形上那个圆点，登录着是绿色，否则是灰色。这个小块在每一条路由、每一块屏幕上都画出来，因为角色始终生效，而没有登录本身就是一种身份（“未登录”角色）。

按下它就打开登录窗口：

• 标题写着登录；已经有人登录着而且名册显示着的时候，标题是切换用户。那时抬头那一行“当前登录身份 名字”带着一个退出登录按钮。
• 名册列出每一位本地用户，配一个两字母标记、名字和一个记号：有 PIN 的用户是一把锁（提示文字“需要 PIN”），没有 PIN 的是一个箭头（提示文字“轻触即可登录”），按下那一行的那一刻就登录了。
• 有 PIN 的用户会打开 PIN 那一步：这位用户的标记和名字、返回、抬头“输入 PIN”，以及一个收 4 到 6 位数字的键盘。确认键或者回车提交。
• 被拒绝时消息就留在键盘上、留在原处：“这个 PIN 不对。”，或者“PIN 输错太多次。请在 n 秒/分钟后重试。”连错五次就把门关上一分钟；之后每再错五次等待时间翻倍，最多十五分钟。
• 工作站上还没有本地用户时，窗口显示的是原因，而不是一张空单子：“本工作站还没有本地用户。第一个，也就是主管理员，在‘用户’页面上创建。”

在工作站自己的窗口上，这个小块改的是工作站会话，也就是那个窗口的每一条命令所依据的身份；在浏览器里，它让那一条连接登录，别的什么都不动。不管哪一种，结果同样落到状态栏的操作记录条上（“已以 Ana 身份登录。”、“Ana 已退出登录。”、“登录被拒绝。 仍然以 Ana 身份登录。”），因为谁登录着决定了其他每一条命令可以做什么。整套流程在登录下面讲。

导航栏

这条栏宽 64 像素：一个条目一个字形加一个标签，当前的那个条目高亮。每一个条目只有在这块屏幕上的身份至少持有所列权限之一时才画出来；页面本身在打开时还会再查一遍，所以这条栏只是把反正会被拒绝的东西修掉。这些权限就是角色编辑器上的那些开关；见权限。

没有人登录时，由“未登录”角色决定。它出厂时的权限包含除管理本地用户和远程访问（局域网）之外的一切，所以一台全新的工作站会画出每一个条目，直到管理员在角色下面把那个角色收窄。一次角色改动把你所在页面的那个条目拿掉时，外壳把你挪到它仍然画着的第一个条目上。

有两个条目带着标记：

• 验证戴一个警示色调的胶囊，写着待修复的数量（超过九十九写 99+），配置干净的时候藏起来。它跟着验证器的后台重扫走，所以你一边编辑它一边变；见验证。
• 账户只在许可需要留意的时候戴一个感叹号：订阅付款逾期、14 天内结束，或者设成要结束却不知道结束日期时是警示色调；订阅已取消，或者本来可以发一个许可证而这台工作站一个都没拿到时是红色。按下带标记的那个条目会落到订阅那一节，而不是页面顶部；见订阅。这里没有一个表示“已连接”的中性圆点。

状态栏

这条栏从左到右读：那一组指示、有弹性的中间那段操作记录条，然后是版本标记、版本号和时钟。它每秒刷新一次。

那些指示

健康状态那个圆点用的颜色和应用里每一个状态圆点一样：健康是绿色，降级或者正在启动是警示色调，故障或者离线是红色，中性是灰色。系统托盘图标读的是同一份服务器健康状态（见下）。

操作记录条

这条栏的中间是你刚做的事的结果落下来的那一个地方：一次保存、一次删除、一次改名、一次导入、一次打印、一次扫描、一次确认。每一条会改变状态的命令，成功了和被拒绝了都会报出来。

• 成功的那一条六秒之后自己淡掉。失败的那一条留着一个红色记号，一直待到有更新的结果把它顶替，或者你按下它那个关闭（x）按钮。
• 文字挤到时钟那里就省略；完整的文字是提示文字。
• 一条记录旁边可以带一个后续按钮，比如移除一个仪表画面组件之后的撤销。它和这条记录同生共死：这条记录到期、下一个结果、一次关闭以及按下它本身，都会把它带走，于是这条栏绝不会给出一个已经答不上旁边那段文字的动词。
• 这条记录条属于这条连接：这块屏幕显示的是这块屏幕做过的事的结果，绝不是别处某个浏览器做过的事。工作站自己的窗口另外还带着没有哪块屏幕要求过的那些工作（一次自动备份、一份自己生成的报告、宿主的一次失败）。
• 唯一的例外：在一个仪表画面组件里按下的命令（按钮、开关、输入框）在那个组件下面作答，因为全屏的仪表画面把这条栏藏起来时，那个界面还在。

页面从不自己长出一个“已保存”的闪光或者一行状态；你要找一次按下的答复，它就在这里。

版本标记、版本号和时钟

• 一个等着被接受的新版本是时钟旁边一行安静的字：“版本 1.5.0 已发布”，而这个版本被标为含重要修复时，用警示色调写“版本 1.5.0 · 重要修复”。提示文字补上它是不是已经下载好（“它已下载完成，会在 Ganter Lab 下次重启时安装。”），以及这一按去哪里：设置的“更新”。这个标记只为持有更改设置或者编辑仪表画面的身份画出来，所以远程平板前的操作员绝不会看见一个轮不到他的决定；在没有版本源的构建上也绝不画出来。
• 当前运行的版本号，同样安静的色调（提示文字“设置：关于”）；关于显示的是同一个数字。
• 时钟：本地日期和时间，按设置的“语言与格式”里选定的格式（比如 dd/MM/yyyy HH:mm:ss），每秒走一格。提示文字写着“设置：语言与格式”，那些格式就是在那一节里设的。

运行时停止期间

什么都没在读的时候，健康状态、报警和记录都断言不了，所以那一组指示让位给一条通向某个有用去处的消息：“登录可获得更长的免费时段”或者“添加许可证即可取消限制”（两条都打开账户页面），或者在已经没有什么可买的时候，工作站窗口上是“重启运行时以继续”，浏览器上是“重启在工作站上进行，也就是运行 Ganter Lab 的那台计算机。”倒计时仍然排在最左边，读作“免费 · 运行时已停止”。

运行时停止那条带子和暂停的页面

免费模式的时长走完时运行时停下来（见免费模式与许可证），而外壳把这件事说一次，在每一条路由上、每一块屏幕上都用同样的方式：

• 标题栏下面一条带子：运行时已停止，“采集、Logic 和记录都已暂停。你的配置和已记录的运行记录完好无损。”，以及那唯一一个重启运行时按钮。这个按钮只存在于工作站自己的窗口上：浏览器在它的位置上读到的是“重启在工作站上进行，也就是运行 Ganter Lab 的那台计算机。”，于是一段免费时长永远没法从网络上被重置掉。
• 除了账户之外的每一个页面都让位给一条暂停通知：此画面已暂停，“它实时读取工作站，而运行时停止期间不会读取任何数据。它在这里等待，而不是显示已经不再成立的数值。”，然后在工作站上是“重启是立刻生效的，也没有次数限制。你一提出请求，运行时就回来了。”，在别处是“工作站的操作员随时可以重启，次数不限。此画面会自行恢复。”账户保留它的页面，因为登录或者添加许可证正是取消这个限制的办法。
• 全屏的仪表画面会退出全屏，好让那条带子和那条导航栏出现在屏幕上。
• 每一条会改动工作站的命令都以同样那几个字被拒绝，“运行时已停止”：在各条命令栏上、在各个菜单里、在弹出消息的按钮上（变灰，配那句提示文字），以及在代理端点上。

一次失败的重启会抬起一条警告通知，“运行时重启失败：运行时未能完全重启。请查看事件页面后重试。”，按钮留着等你再试一次。

随页帮助

帮助键在右边打开一块面板，挨着页面而不是压在页面上：页面照常工作，于是那条说明可以就在它所讲的那块屏幕上照着做。在窄屏幕上（手机，或者竖着拿的平板），这块面板改为占满窗口。Esc 关掉它，它自己那个关闭键也一样，焦点回到帮助键上。

它显示的是你眼前那样东西所对应的那一页文档。由路由决定是哪一页，所以在 Logic 上打开这块面板，打开的就是本文档的 Logic 页面；在读作一整条长列的页面上（设置、代理、账户），则由你滚到的那一节决定，所以设置停在备份时打开的就是备份。挪到另一个页面，或者挪到同一个页面的另一节，带来的是属于此刻屏幕上那样东西的页面，而不是把上一篇文章晾在上面。

这块面板带着这一页的标题、它的摘要、它那些节的清单和它的全文。通向本文档其他页面和各节的链接在面板里面打开；离开本文档的链接在你的浏览器里打开。面板自己那个打开完整文档键会在网站上打开同一个页面，用同一种语言，对应本工作站运行的那个版本；它是这里唯一一样需要网络的东西。

文档是随应用装上的，不是取回来的：它是你正在运行的那个版本的文档，用工作站的语言写的，而且完全不用联网就打得开。网络上的浏览器从工作站读的是同样这些页面，所以车间里的一块屏幕绝不会没有它们。一个安装包不带着正在运行的这个版本或者这台工作站这门语言的帮助时，这块面板会说明它找的是哪个版本、哪门语言，而不是打开别的东西，同一行也写进事件的“控制台”。

通知

弹出消息

会打断人的通知在页面上叠在右下角，最新的在上面。每一张卡片带着一条按它严重程度着色的强调边（提示、警告、错误）、一个可选的标题、那条消息、若干动作按钮和一个关闭（x）。除非抬起它的那样东西给了它一个超时，卡片就一直留着。运行时停止期间，卡片上一个会改动工作站的按钮会变灰，提示文字是“运行时已停止”。

抬起它们的，包括这些：

弹出消息是给打断人的事用的；你自己那次动作的结果绝不是一张卡片（见上面的操作记录条）。

Windows 通知

这些卡片活在窗口里面，所以窗口藏进托盘或者最小化的时候，同样这些时刻还会抬起一条 Windows 通知：一次报警成立（“优先级优先级报警：名字”）、一次联锁动作、免费模式的警告和那次停机、隐藏着启动时服务器或者恢复的一次失败，以及第一次隐藏时那条只出现一次的提示。点这条通知就打开窗口，卡片在那里等着。这些通知只在装出来的版本上存在；绿色版或者开发版只留窗口里的那些卡片。

崩溃同意窗口

如果 Ganter Lab 上一次意外关闭了，下一次显示出窗口的启动会在页面上打开要发送崩溃报告吗？（藏进托盘的那次启动等着下一次可见的）：

• “Ganter Lab 上一次意外关闭了。发送这份报告有助于我们修复它。报告包含这个错误和最近日志的一小段。发送之前请在下面查看。”
• 崩溃详情：会被发出去的那整份内容，配一个复制按钮（片刻之内写着“已复制”）。这份内容是抓取的时刻、上下文、应用版本、操作系统、带堆栈的那个异常，以及日志最后 60 行，Windows 用户名和配置文件路径都被洗掉了。工作站不会再有别的东西离开。
• 始终自动发送崩溃报告：许可今后的崩溃不经询问直接发送（和设置的“崩溃报告”是同一个开关）。运行时停止期间它变灰，写着“运行时已停止”，因为这项许可存不下来。
• 不发送会清掉抓下来的那次崩溃，于是它不会再被提起。发送报告把它发出去；一次失败的发送会保住这次崩溃，下一次启动再问一遍。工作站登录着时，这份报告归到你的 Ganter 账户名下，否则匿名接收。

在被发出去或者被谢绝之前，这次崩溃作为 crash\pending-crash.json 留在数据文件夹下面。

屏幕和工作站断了的时候

页面是由工作站实时供出来的，所以一块屏幕可能把它弄丢：连接断了、工作站重启了、页面撞上一次故障。网络上的浏览器最常碰到这几块画面；工作站自己的窗口也是同样供出来的，同样会显示它们。

• 回路提示条。 一个在跑着的屏幕里面出问题的页面，会在底部显示一条安静的带子：“此页面遇到了问题，但应用仍在运行。详细信息在事件页面上。”，带重新加载和一个关闭记号。什么都没丢；重新加载就重新接上。
• 重连卡片在连接断了的期间占满整块屏幕：

• 窗口供不出来。 工作站自己的窗口是从机器内部的一个端口供出来的。那个端口打不开的时候（几乎总是因为已经有第二份 Ganter Lab 在跑），窗口会画出它自己那条通知，而不是一张白页：Ganter Lab 无法打开它的画面，“应用正在运行，你的设备照样在被读取。缺的是那块画面…”，加上那个端口、系统报的内容和日志文件夹。它每五秒重试一次，端口一空出来就自己打开。
• 找不到。 与任何页面都不匹配的地址会落在这个框里面：此画面不属于本工作站，“该地址与这里的任何画面都不匹配。它可能已被改名或删除。”，带前往 View，按下去就打开 View。
• 登录才能查看。 网络上身份没有远程访问（局域网）的浏览器，或者任何角色打不开它所请求页面的屏幕，在页面的位置上拿到那张登录卡片（“登录后即可从网络上查看这个工作站。”或者“登录后才能打开这个页面。”），并写明被拒绝的是哪个身份。登录之后就画出所请求的那个页面。工作站自己的窗口和工作站机器上的浏览器从不受远程访问把关。

全屏与展开

View 上的一幅仪表画面，以及 Process 下面一个单元的面板或者画面，可以用两种办法把这个框藏起来，两个都在这幅画面那条栏后面那一组上：

没有仪表画面开着的时候这两个动词都变灰，而一幅画面正在被编辑时它们不画出来：进入其中之一会在不吭声的情况下结束这次编辑。这两种模式下状态栏留不留在底部，是这幅仪表画面自己的设置（见仪表画面的设置）。两种模式互斥：展开着的时候按全屏是升上去，不是来回切。

按键：F11 切换全屏（编辑期间或者有文件夹开着时它什么都不做）；Esc 从最里面往外退：先是正在改名的文件夹，然后是导航浮层，然后是全屏，最后是展开。浏览器用它自己的手势退出全屏时，会把这个模式一起带走。离开这幅仪表画面的路由就把这个框恢复回来，而运行时停止会退出全屏，好让那条带子和那条导航栏回来。一张图表自己那件全屏工具也用同样的方式铺满显示器（见图表）；Esc 先关掉那张图表。更多内容在全屏下面。

桌面缩放

在工作站自己的窗口上，Ctrl + 鼠标滚轮按浏览器引擎原生的步长缩放整个界面（每一格乘以 1.2，在 25% 到 500% 之间），Ctrl + 0 回到 100%。每一次改动都在操作记录条上宣告（“缩放：120%”）并立刻保存，按安装保存在数据文件夹下的 window-placement.json 里（绝不在配置数据库里，绝不在备份里）。设置的“外观”显示当前的级别，也可以把它复位。浏览器保留它自己的缩放。

系统托盘

Ganter Lab 一直开着：关掉窗口只是把它藏起来，而内置服务器、采集和记录照常工作（除非在设置的“启动”下面把“关闭窗口后继续在后台运行”关掉了，那时那个叉就是退出）。通知区域的那个图标是品牌方块，带一个映着内置服务器的健康状态圆点，和状态栏的健康状态读的是同一份：在线是绿色，正在启动或者部分在线是警示色调，离线是红色，其余是灰色。它的提示文字读作“Ganter Lab：状态”，有任何一次运行在记录时加上“（正在记录）”（每 15 秒查一次）。

• 左键单击打开窗口；右键单击打开菜单：打开 Ganter Lab、一行只读的“服务器：状态（正在记录）”，以及退出。菜单里没有启动或者停止的控件：随手一点不该把正在读服务器的那些客户端掀掉。
• 窗口第一次藏起来时，一条 Windows 通知说“Ganter Lab 仍在运行：服务器和记录继续在这里工作。单击托盘图标可打开窗口，右键单击可退出。”它只显示一次，而且只有真的送达了才算显示过。
• 退出走同一条拆卸流程把一切停下来：代理访问、Web 宿主、各个监视器、Process 运行时（运行仍然可以续跑）、内置服务器、逻辑运行时（保留值被刷出去）、事件日志，最后是宿主。有记录正在进行时，窗口会先回来，带一句平静的确认，记录正在进行：“退出会停止数据采集。到目前为止记录的内容全部已保存，下次启动 Ganter Lab 时会重新打开，但应用关闭期间不会记录任何新内容。”保持运行是默认；仍然退出继续往下走。下载好的更新会在走出去的路上装上。

这个框不做什么

• 它绝不对非管理员把用户藏起来；那个页面自己带着它的通知。
• 它绝不在那条带子之外的地方给出运行时重启，也绝不给浏览器。
• 它绝不显示另一块屏幕的动作结果，也绝不把一个动作结果变成一张卡片。
• 在远程浏览器重新加载它的页面之前，它绝不改动那个浏览器的主题。
• 帮助面板绝不去网站上取一篇文章来显示，绝不打开为另一个版本写的页面，也绝不在装上的帮助不带某门语言时退回到英文。
• 帮助键、主题按键、用户小块、导航栏和状态栏是这个框仅有的控件；每一个作用于你正在配置的那样东西的动词，都属于那样东西自己的页面（见页面是怎么用的）。