![]() |
#1 |
Banned
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Posts: 168
Karma: 10010
Join Date: Oct 2018
Device: Tolino/PRS 650/Tablet
|
Font in launcher plugin window
Hi,
how can i change the font in the plugin launcher window? A monospaced font would be fine to be able to see tabular debug info better. Vroni |
![]() |
![]() |
![]() |
#2 |
Grand Sorcerer
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Posts: 27,693
Karma: 196159104
Join Date: Jan 2010
Device: Nexus 7, Kindle Fire HD
|
Can't (unless there's some way with qt-stylesheets I'm unaware of).
Last edited by DiapDealer; 08-23-2019 at 03:21 PM. |
![]() |
![]() |
Advert | |
|
![]() |
#3 |
Banned
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Posts: 168
Karma: 10010
Join Date: Oct 2018
Device: Tolino/PRS 650/Tablet
|
![]() |
![]() |
![]() |
![]() |
#4 |
Sigil Developer
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Posts: 7,875
Karma: 5449552
Join Date: Nov 2009
Device: many
|
Copy and paste that text into any text editor you want. A monospaced font might be a good idea for the future.
|
![]() |
![]() |
![]() |
#5 |
Sigil Developer
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Posts: 7,875
Karma: 5449552
Join Date: Nov 2009
Device: many
|
According to the PluginRunner.ui form file, the text console is a QTextEdit called "textEdit".
You could try using a .qss stle sheet to set a monospaced default fount for that class. |
![]() |
![]() |
Advert | |
|
![]() |
#6 |
Grand Sorcerer
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Posts: 5,625
Karma: 23190435
Join Date: Dec 2010
Device: Kindle PW2
|
Since you can use print() to render HTML in the Plugin Runner window, you could wrap your messages in a minimal HTML file and specify a monospace font as an inline style attribute. For example:
Code:
<html>
<body style="font-family: monospace">
<pre>
Column 1 Column 2 Column 3
Value 1 Value 2 Value 3
</pre>
</body>
</html>
|
![]() |
![]() |
![]() |
|
![]() |
||||
Thread | Thread Starter | Forum | Replies | Last Post |
Where does window/font size happen? | adelea | Development | 1 | 08-10-2017 11:38 PM |
plugin path error 0.8.1 launcher.py help | blackest | Sigil | 3 | 10-19-2014 09:12 PM |
Destroying a GUI plugin window | Jellby | Development | 0 | 12-29-2013 03:56 AM |
Glo Is there a way to increase font size in the dict lookup window? | yayo | Kobo Reader | 27 | 06-17-2013 12:31 PM |
External plugin: how to add PluginWidget into conversion window? | SauliusP. | Development | 2 | 07-19-2012 03:32 AM |