I would like to change the (color) theme in KDevelop to a dark theme as advertised on the KDevelop website. This setting is places in settings -> color theme
where a list of color themes should be available. With Ubuntu 20.04 there is just a single option bringing the application back to the default color theme.
Is there a possibility to change the theme of KDevelop in Ubuntu 20.04?
There is a related AskUbuntu question, but it is targeting Ubuntu 14.04 which did not use GNOME. Furthermore there is no accepted answer.
I am aware that the colors of the editor can be changed, but I want to change the color theme of the whole application.