linuxdeepin / deepin-editor

Text editor for DDE
GNU General Public License v3.0
104 stars 64 forks source link

fix: Wrong case sensitive config #281

Closed rb-union closed 4 months ago

rb-union commented 4 months ago

Change the setting when case sensitive. 调整区分大小写配置时的设置

Log: 修复错误的匹配大小写判断设置 Bug: https://pms.uniontech.com/bug-view-262733.html

deepin-ci-robot commented 4 months ago

deepin pr auto review

关键摘要:

是否建议立即修改:

deepin-ci-robot commented 4 months ago

[APPROVALNOTIFIER] This PR is NOT APPROVED

This pull-request has been approved by: pengfeixx, rb-union

The full list of commands accepted by this bot can be found here.

Needs approval from an approver in each of these files: - **[debian/deepin/OWNERS](https://github.com/linuxdeepin/deepin-editor/blob/master/debian/deepin/OWNERS)** Approvers can indicate their approval by writing `/approve` in a comment Approvers can cancel approval by writing `/approve cancel` in a comment