Expensify/App 9.0.92-6版本发布:支付安全与用户体验全面升级
项目简介
Expensify是一款广受欢迎的财务管理和费用报销应用,主要面向企业用户和个人用户提供便捷的费用跟踪、报销流程管理以及支付解决方案。该项目采用现代化的技术架构,支持多平台运行,包括Web、移动端和桌面端。
核心更新内容
1. 虚拟卡欺诈报告功能增强
本次版本在虚拟卡管理方面进行了重要改进,新增了专门的欺诈报告确认页面。当用户申请新的虚拟卡时,系统会提供清晰的欺诈报告选项和确认流程。这一改进不仅增强了支付安全性,也为用户提供了更透明的操作体验。
2. 搜索功能全面重构
开发团队对搜索功能进行了彻底的重构,现在无论是移动端还是桌面端,搜索输入框都将始终保持可见状态。这一改变显著提升了用户体验,使用户能够更快速地访问搜索功能,无需额外的点击操作即可开始搜索。
3. 动画效果优化
在用户界面交互方面,版本引入了更流畅的切换动画效果。特别是针对开关类组件的子元素变化,现在会呈现平滑的过渡动画,使界面交互更加自然和直观。
4. 财务报告流程改进
针对费用报销流程,修复了一个重要问题:当报销单中只包含不可报销的费用项目时,提交按钮现在能够正确显示和工作。这一修复确保了报销流程的完整性和一致性。
5. 多因素认证安全增强
加强了与Xero会计软件集成时的安全措施,现在当用户连接到Xero账户时,系统会正确阻止禁用双重认证的操作,确保账户安全不受影响。
技术架构改进
1. Onyx数据层升级
项目对核心数据管理库Onyx进行了升级至2.0.91版本,引入了可跳过的集合成员ID功能。这一改进优化了数据管理效率,特别是在处理大型数据集时能够提供更好的性能表现。
2. Pusher连接稳定性增强
实现了Pusher服务的ping机制,通过定期心跳检测来维持连接的稳定性。这一改进显著提升了实时通信的可靠性,减少了因网络波动导致的连接中断问题。
3. 收据处理流程优化
针对原生移动端应用,重新设计了收据创建和处理流程,提高了收据上传和管理的效率,特别是在移动设备上的使用体验得到了明显改善。
用户体验改进
1. 个人资料信息同步
现在当用户更新法定姓名时,显示名称也会自动同步更新,避免了因信息不同步导致的混淆问题。
2. 货币选择记忆功能
修复了页面刷新后货币选择丢失的问题,现在系统能够正确记住用户上次选择的货币类型,提高了多币种环境下的使用便利性。
3. 交易列表显示优化
改进了交易列表的显示逻辑,当没有找到相关交易时,顶部工具栏会正确隐藏,避免了空白区域的显示问题。
总结
Expensify/App 9.0.92-6版本在支付安全、用户体验和技术架构等多个方面都进行了重要改进。从虚拟卡的安全管理到搜索功能的全面重构,从数据层的性能优化到界面交互的细节打磨,这些更新共同构成了一个更加安全、稳定且用户友好的财务管理解决方案。对于企业用户而言,这些改进将显著提升日常财务管理的效率和安全性;对于个人用户,则提供了更加流畅和直观的使用体验。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C042
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00