Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
G
gajim-plugins
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 56
    • Issues 56
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 8
    • Merge Requests 8
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • gajim
  • gajim-plugins
  • Merge Requests
  • !191

Merged
Opened Apr 22, 2020 by Daniel Brötzmann@wurstsalatDeveloper

[syntax_highlight] Simplify plugin code

  • Overview 0
  • Commits 2
  • Changes 9

Fixes a deprecation warning in the plugin’s config dialog (override_font and override_background_color are both deprecated in favor of CSS styling).

This also resets the background color to default if overriding the color is unchecked.

Uses the new plugin config dialog.

Edited May 24, 2020 by Daniel Brötzmann
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
Reference: gajim/gajim-plugins!191
Source branch: syntax-improvements