Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Plasma Desktop Plasma Desktop
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 10
    • Issues 10
    • List
    • Boards
    • Service Desk
    • Milestones
  • Bugzilla
    • Bugzilla
  • Merge requests 45
    • Merge requests 45
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Plasma
  • Plasma DesktopPlasma Desktop
  • Merge requests
  • !784

[kcms/keyboard] Rename ResetOldOptions to OptionsEnabled

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Vlad Zahorodnii requested to merge work/zzag/kcm-keyboard-rename-reset-old-options into master Jan 06, 2022
  • Overview 3
  • Commits 1
  • Pipelines 4
  • Changes 6

"ResetOldOptions" is too easy to misunderstand. Currently, it indicates whether the "Options" key has a valid value, so the "ResetOldOptions" key was renamed accordingly.

Technically, the xkb helper allows appending options but given that the kcm will clear the "Options" key if the "Configure keyboard options" checkbox is unchecked, that case is impossible.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: work/zzag/kcm-keyboard-rename-reset-old-options