Adjust color of selected text (#834)
Resolves #834 (closed)
Merge request reports
Activity
requested review from @j.wuttke
assigned to @m.svechnikov
mentioned in commit 8a697308
Please register or sign in to reply
Resolves #834 (closed)
requested review from @j.wuttke
assigned to @m.svechnikov
approved this merge request
merged
mentioned in commit 8a697308