Qual é o nome desses widgets?

Question

Estou aprimorando um tema para o meu gosto e mudei a cor do destaque de laranja para # 9E9EB3. O problema é que um tipo de widget agora tem cor misturada de laranja & amp; # 9E9EB3.

Alguém pode me dizer qual é o nome desse tipo de widgets, então eu posso encontrá-los no arquivo gtk-widgets.css e corrigir o problema.

    

Answer 1

O nome do widget é "GtkScale".