- #1
member 428835
Hi PF!
I am trying to change the theme for texstudio on Ubuntu 18.04. Here they suggest editing the formats in the TeXstudio settings file (.txsprofile). However, here they suggest editing the texstudio.ini. file. I can't find either.
I downloaded texStudio via the commands:
sudo apt-add-repository ppa:blahota/texstudio
sudo apt-get update
sudo apt-get install texstudio
Your help is greatly appreciated!
I am trying to change the theme for texstudio on Ubuntu 18.04. Here they suggest editing the formats in the TeXstudio settings file (.txsprofile). However, here they suggest editing the texstudio.ini. file. I can't find either.
I downloaded texStudio via the commands:
sudo apt-add-repository ppa:blahota/texstudio
sudo apt-get update
sudo apt-get install texstudio
Your help is greatly appreciated!
Last edited by a moderator: