77 <x >0</x >
88 <y >0</y >
99 <width >727</width >
10- <height >446 </height >
10+ <height >591 </height >
1111 </rect >
1212 </property >
1313 <property name =" windowTitle" >
125125 <string notr =" true" >< !DOCTYPE HTML PUBLIC " -//W3C//DTD HTML 4.0//EN" " http://www.w3.org/TR/REC-html40/strict.dtd">
126126< html>< head>< meta name=" qrichtext" content=" 1" />< style type=" text/css">
127127p, li { white-space: pre-wrap; }
128- < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:8.25pt ; font-weight:400; font-style:normal;">
128+ < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:10pt ; font-weight:400; font-style:normal;">
129129< p style=" -qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans Serif'; font-size:9pt;">< br />< /p>< /body>< /html> </string >
130130 </property >
131131 <property name =" acceptRichText" >
@@ -159,12 +159,12 @@ p, li { white-space: pre-wrap; }
159159 <rect >
160160 <x >0</x >
161161 <y >0</y >
162- <width >685 </width >
163- <height >130 </height >
162+ <width >94 </width >
163+ <height >87 </height >
164164 </rect >
165165 </property >
166166 <property name =" autoFillBackground" >
167- <bool >true </bool >
167+ <bool >false </bool >
168168 </property >
169169 <attribute name =" label" >
170170 <string >GNU GPL License (Textosaurus source code)</string >
@@ -217,7 +217,7 @@ p, li { white-space: pre-wrap; }
217217 <string notr =" true" >< !DOCTYPE HTML PUBLIC " -//W3C//DTD HTML 4.0//EN" " http://www.w3.org/TR/REC-html40/strict.dtd">
218218< html>< head>< meta name=" qrichtext" content=" 1" />< style type=" text/css">
219219p, li { white-space: pre-wrap; }
220- < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:8.25pt ; font-weight:400; font-style:normal;">
220+ < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:10pt ; font-weight:400; font-style:normal;">
221221< p style=" -qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans Serif'; font-size:9pt;">< br />< /p>< /body>< /html> </string >
222222 </property >
223223 <property name =" textInteractionFlags" >
@@ -235,8 +235,8 @@ p, li { white-space: pre-wrap; }
235235 <rect >
236236 <x >0</x >
237237 <y >0</y >
238- <width >83 </width >
239- <height >69 </height >
238+ <width >94 </width >
239+ <height >87 </height >
240240 </rect >
241241 </property >
242242 <attribute name =" label" >
@@ -287,7 +287,7 @@ p, li { white-space: pre-wrap; }
287287 <string notr =" true" >< !DOCTYPE HTML PUBLIC " -//W3C//DTD HTML 4.0//EN" " http://www.w3.org/TR/REC-html40/strict.dtd">
288288< html>< head>< meta name=" qrichtext" content=" 1" />< style type=" text/css">
289289p, li { white-space: pre-wrap; }
290- < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:8.25pt ; font-weight:400; font-style:normal;">
290+ < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:10pt ; font-weight:400; font-style:normal;">
291291< p style=" -qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans Serif'; font-size:9pt;">< br />< /p>< /body>< /html> </string >
292292 </property >
293293 <property name =" textInteractionFlags" >
@@ -305,8 +305,8 @@ p, li { white-space: pre-wrap; }
305305 <rect >
306306 <x >0</x >
307307 <y >0</y >
308- <width >83 </width >
309- <height >69 </height >
308+ <width >94 </width >
309+ <height >87 </height >
310310 </rect >
311311 </property >
312312 <attribute name =" label" >
@@ -357,7 +357,7 @@ p, li { white-space: pre-wrap; }
357357 <string notr =" true" >< !DOCTYPE HTML PUBLIC " -//W3C//DTD HTML 4.0//EN" " http://www.w3.org/TR/REC-html40/strict.dtd">
358358< html>< head>< meta name=" qrichtext" content=" 1" />< style type=" text/css">
359359p, li { white-space: pre-wrap; }
360- < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:8.25pt ; font-weight:400; font-style:normal;">
360+ < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:10pt ; font-weight:400; font-style:normal;">
361361< p style=" -qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans Serif'; font-size:9pt;">< br />< /p>< /body>< /html> </string >
362362 </property >
363363 <property name =" textInteractionFlags" >
@@ -375,8 +375,8 @@ p, li { white-space: pre-wrap; }
375375 <rect >
376376 <x >0</x >
377377 <y >0</y >
378- <width >685 </width >
379- <height >130 </height >
378+ <width >94 </width >
379+ <height >87 </height >
380380 </rect >
381381 </property >
382382 <attribute name =" label" >
@@ -427,7 +427,7 @@ p, li { white-space: pre-wrap; }
427427 <string notr =" true" >< !DOCTYPE HTML PUBLIC " -//W3C//DTD HTML 4.0//EN" " http://www.w3.org/TR/REC-html40/strict.dtd">
428428< html>< head>< meta name=" qrichtext" content=" 1" />< style type=" text/css">
429429p, li { white-space: pre-wrap; }
430- < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:8.25pt ; font-weight:400; font-style:normal;">
430+ < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:10pt ; font-weight:400; font-style:normal;">
431431< p style=" -qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans Serif'; font-size:9pt;">< br />< /p>< /body>< /html> </string >
432432 </property >
433433 <property name =" textInteractionFlags" >
@@ -473,7 +473,7 @@ p, li { white-space: pre-wrap; }
473473 <string notr =" true" >< !DOCTYPE HTML PUBLIC " -//W3C//DTD HTML 4.0//EN" " http://www.w3.org/TR/REC-html40/strict.dtd">
474474< html>< head>< meta name=" qrichtext" content=" 1" />< style type=" text/css">
475475p, li { white-space: pre-wrap; }
476- < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:8.25pt ; font-weight:400; font-style:normal;">
476+ < /style>< /head>< body style=" font-family:'DejaVu Sans Mono'; font-size:10pt ; font-weight:400; font-style:normal;">
477477< p style=" -qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans Serif'; font-size:9pt;">< br />< /p>< /body>< /html> </string >
478478 </property >
479479 <property name =" acceptRichText" >
0 commit comments