[Tails-dev] Fix for Bug #5673 - Wheezy: way too small fonts …

Supprimer ce message

Répondre à ce message
Auteur: Andres Gomez Ramirez
Date:  
À: tails-dev@boum.org
Sujet: [Tails-dev] Fix for Bug #5673 - Wheezy: way too small fonts in Tails Installer
Hello,

Attached I send a patch for "Bug #5673 - Wheezy: way too small fonts in Tails Installer"
https://labs.riseup.net/code/issues/5673.

Cheers,

KuronoFrom 23375e0d5d08554e2800fa71f0e8b2f6fb4b5258 Mon Sep 17 00:00:00 2001
From: kurono <andres.gomez@???>
Date: Thu, 24 Apr 2014 23:37:31 +0200
Subject: [PATCH] Bug #5673 - Wheezy: way too small fonts in Tails Installer

---
 liveusb/dialog.py      |   12 ++++++------
 liveusb/launcher_ui.py |    8 ++++----
 2 files changed, 10 insertions(+), 10 deletions(-)


diff --git a/liveusb/dialog.py b/liveusb/dialog.py
index f1ee5e8..d5137ac 100644
--- a/liveusb/dialog.py
+++ b/liveusb/dialog.py
@@ -64,7 +64,7 @@ class Ui_Dialog(object):
         self.sourceFileGroupBox.setMinimumSize(QtCore.QSize(161, 51))
         self.sourceFileGroupBox.setBaseSize(QtCore.QSize(161, 51))
         font = QtGui.QFont()
-        font.setPointSize(8)
+        font.setPointSize(11)
         self.sourceFileGroupBox.setFont(font)
         self.sourceFileGroupBox.setObjectName(_fromUtf8("sourceFileGroupBox"))
         self.isoBttn = QtGui.QPushButton(self.sourceFileGroupBox)
@@ -76,7 +76,7 @@ class Ui_Dialog(object):
         self.orLabel.setBaseSize(QtCore.QSize(23, 24))
         font = QtGui.QFont()
         font.setFamily(_fromUtf8("Verdana"))
-        font.setPointSize(10)
+        font.setPointSize(12)
         font.setBold(True)
         font.setWeight(75)
         self.orLabel.setFont(font)
@@ -87,7 +87,7 @@ class Ui_Dialog(object):
         self.downloadGroupBox.setMinimumSize(QtCore.QSize(201, 51))
         self.downloadGroupBox.setBaseSize(QtCore.QSize(201, 51))
         font = QtGui.QFont()
-        font.setPointSize(8)
+        font.setPointSize(11)
         self.downloadGroupBox.setFont(font)
         self.downloadGroupBox.setObjectName(_fromUtf8("downloadGroupBox"))
         self.downloadCombo = QtGui.QComboBox(self.downloadGroupBox)
@@ -102,7 +102,7 @@ class Ui_Dialog(object):
         self.targetGroupBox.setMinimumSize(QtCore.QSize(191, 51))
         self.targetGroupBox.setBaseSize(QtCore.QSize(191, 51))
         font = QtGui.QFont()
-        font.setPointSize(8)
+        font.setPointSize(11)
         self.targetGroupBox.setFont(font)
         self.targetGroupBox.setObjectName(_fromUtf8("targetGroupBox"))
         self.driveBox = QtGui.QComboBox(self.targetGroupBox)
@@ -116,7 +116,7 @@ class Ui_Dialog(object):
         self.overlayTitle.setMinimumSize(QtCore.QSize(0, 0))
         self.overlayTitle.setBaseSize(QtCore.QSize(201, 51))
         font = QtGui.QFont()
-        font.setPointSize(8)
+        font.setPointSize(11)
         self.overlayTitle.setFont(font)
         self.overlayTitle.setObjectName(_fromUtf8("overlayTitle"))
         self.overlaySlider = QtGui.QSlider(self.overlayTitle)
@@ -136,7 +136,7 @@ class Ui_Dialog(object):
         self.textEdit.setMinimumSize(QtCore.QSize(401, 111))
         self.textEdit.setBaseSize(QtCore.QSize(401, 111))
         font = QtGui.QFont()
-        font.setPointSize(8)
+        font.setPointSize(11)
         self.textEdit.setFont(font)
         self.textEdit.setReadOnly(True)
         self.textEdit.setObjectName(_fromUtf8("textEdit"))
diff --git a/liveusb/launcher_ui.py b/liveusb/launcher_ui.py
index a411fc3..ff2a977 100644
--- a/liveusb/launcher_ui.py
+++ b/liveusb/launcher_ui.py
@@ -157,11 +157,11 @@ class Ui_Dialog(object):
     def retranslateUi(self, Dialog):
         Dialog.setWindowTitle(translate_and_brand('%(distribution)s Installer'))
         self.cloneInstallButton.setText(translate_and_brand('Clone\n&&\nInstall'))
-        self.cloneInstallLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:9pt; font-weight:400; font-style:normal;">\n<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:10pt;">Copy the running Tails onto a USB stick or SD card. All data on the target drive will be lost.</span></p></body></html>'))
+        self.cloneInstallLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:11pt; font-weight:400; font-style:normal;">\n<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:11pt;">Copy the running Tails onto a USB stick or SD card. All data on the target drive will be lost.</span></p></body></html>'))
         self.cloneUpgradeButton.setText(translate_and_brand('Clone\n&&\nUpgrade'))
-        self.cloneUpgradeLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:9pt; font-weight:400; font-style:normal;">\n<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:10pt;">Copy the running Tails onto an already installed Tails device. Other partitions found on the stick are preserved.</span></p></body></html>'))
+        self.cloneUpgradeLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:11pt; font-weight:400; font-style:normal;">\n<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:11pt;">Copy the running Tails onto an already installed Tails device. Other partitions found on the stick are preserved.</span></p></body></html>'))
         self.upgradeFromIsoButton.setText(translate_and_brand('Upgrade from ISO'))
-        self.upgradeFromIsoLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:9pt; font-weight:400; font-style:normal;">\n<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:10pt;">Upgrade an already installed Tails device from a new ISO image.</span></p></body></html>'))
-        self.helpLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:9pt; font-weight:400; font-style:normal;">\n<p align="center" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:10pt;">Need help? Read the </span><a href="file:///usr/share/doc/tails/website/doc/first_steps/installation.en.html"><span style=" text-decoration: underline; color:#0000ff;">documentation</span></a><span style=" font-size:10pt;">.</span></p></body></html>'))
+        self.upgradeFromIsoLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:11pt; font-weight:400; font-style:normal;">\n<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:11pt;">Upgrade an already installed Tails device from a new ISO image.</span></p></body></html>'))
+        self.helpLabel.setText(translate_and_brand('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">\n<html><head><meta name="qrichtext" content="1" /><style type="text/css">\np, li { white-space: pre-wrap; }\n</style></head><body style=" font-family:\'Sans Serif\'; font-size:11pt; font-weight:400; font-style:normal;">\n<p align="center" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span style=" font-size:11pt;">Need help? Read the </span><a href="file:///usr/share/doc/tails/website/doc/first_steps/installation.en.html"><span style=" text-decoration: underline; color:#0000ff;">documentation</span></a><span style=" font-size:11pt;">.</span></p></body></html>'))


import resources_rc
--
1.7.9.5