Bug#1040841: texstudio: enable terminal build option

2023-07-20 Thread Tom Jampen
close 1040841 thanks Hi Axel On 7/17/23 13:58, Axel Kittenberger wrote: > I'm very sorry, I overlooked that on this machine "which texstudio" > resulted in "/usr/local/bin/texstudio". Thanks for clearing up the issue, I'm glad it works for you now. Regards Tom

Bug#1040841: texstudio: enable terminal build option

2023-07-17 Thread Axel Kittenberger
Hello Tom, I'm very sorry, I overlooked that on this machine "which texstudio" resulted in "/usr/local/bin/texstudio". Some self compiled version at some point due to testing something back then, which took preference. I removed that, started the correct distribution one, and yes the terminal is

Bug#1040841: texstudio: enable terminal build option

2023-07-14 Thread Tom Jampen
tags 1040841 + unreproducible thanks Hi Axel I remember your email and I've found it in my archive, it's from Oct 2021. I checked my git commits and found that I've activated the terminal with the upload of version 3.0.4+ds-2 in Oct 2021[1]. The internal terminal is still working for me with the

Bug#1040841: texstudio: enable terminal build option

2023-07-11 Thread Axel Kittenberger
Package: texstudio Version: 4.3.1+ds-2 Severity: wishlist Dear Maintainer, 3 Years ago I wrote an integrated terminal for TeXStudio, ( https://github.com/texstudio-org/texstudio/pull/993 ), since then it has been integreated into upstream, but please you need to enable it in build configuration