# -*- coding: utf-8 -*-

# Form implementation generated from reading ui file 'preferences.ui'
#
# Created: Sun May  9 13:58:03 2010
#      by: PyQt4 UI code generator 4.6
#
# WARNING! All changes made in this file will be lost!

from PyQt4 import QtCore, QtGui

class Ui_Dialog(object):
    def setupUi(self, Dialog):
        Dialog.setObjectName("Dialog")
        Dialog.resize(604, 405)
        icon = QtGui.QIcon()
        icon.addPixmap(QtGui.QPixmap(":/all/icones/TeXamator.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        Dialog.setWindowIcon(icon)
        self.gridLayout_5 = QtGui.QGridLayout(Dialog)
        self.gridLayout_5.setObjectName("gridLayout_5")
        self.tabWidget = QtGui.QTabWidget(Dialog)
        self.tabWidget.setObjectName("tabWidget")
        self.tab1 = QtGui.QWidget()
        self.tab1.setObjectName("tab1")
        self.gridLayout_2 = QtGui.QGridLayout(self.tab1)
        self.gridLayout_2.setObjectName("gridLayout_2")
        self.label_9 = QtGui.QLabel(self.tab1)
        self.label_9.setWordWrap(True)
        self.label_9.setObjectName("label_9")
        self.gridLayout_2.addWidget(self.label_9, 0, 0, 1, 1)
        self.radioButton_yes = QtGui.QRadioButton(self.tab1)
        self.radioButton_yes.setChecked(True)
        self.radioButton_yes.setObjectName("radioButton_yes")
        self.gridLayout_2.addWidget(self.radioButton_yes, 0, 1, 1, 1)
        self.radioButton_no = QtGui.QRadioButton(self.tab1)
        self.radioButton_no.setObjectName("radioButton_no")
        self.gridLayout_2.addWidget(self.radioButton_no, 0, 2, 1, 1)
        self.line_2 = QtGui.QFrame(self.tab1)
        self.line_2.setFrameShape(QtGui.QFrame.HLine)
        self.line_2.setFrameShadow(QtGui.QFrame.Sunken)
        self.line_2.setObjectName("line_2")
        self.gridLayout_2.addWidget(self.line_2, 1, 0, 1, 3)
        self.label_11 = QtGui.QLabel(self.tab1)
        self.label_11.setObjectName("label_11")
        self.gridLayout_2.addWidget(self.label_11, 2, 0, 1, 1)
        self.label = QtGui.QLabel(self.tab1)
        self.label.setWordWrap(True)
        self.label.setObjectName("label")
        self.gridLayout_2.addWidget(self.label, 3, 0, 1, 1)
        self.comboBox = QtGui.QComboBox(self.tab1)
        self.comboBox.setObjectName("comboBox")
        self.comboBox.addItem("")
        self.comboBox.addItem("")
        self.comboBox.addItem("")
        self.gridLayout_2.addWidget(self.comboBox, 3, 1, 1, 2)
        self.label_10 = QtGui.QLabel(self.tab1)
        self.label_10.setWordWrap(True)
        self.label_10.setObjectName("label_10")
        self.gridLayout_2.addWidget(self.label_10, 4, 0, 1, 1)
        self.lineEdit_dvi_viewer = QtGui.QLineEdit(self.tab1)
        self.lineEdit_dvi_viewer.setObjectName("lineEdit_dvi_viewer")
        self.gridLayout_2.addWidget(self.lineEdit_dvi_viewer, 4, 1, 1, 2)
        self.line = QtGui.QFrame(self.tab1)
        self.line.setFrameShape(QtGui.QFrame.HLine)
        self.line.setFrameShadow(QtGui.QFrame.Sunken)
        self.line.setObjectName("line")
        self.gridLayout_2.addWidget(self.line, 5, 0, 1, 3)
        self.label_2 = QtGui.QLabel(self.tab1)
        self.label_2.setWordWrap(True)
        self.label_2.setObjectName("label_2")
        self.gridLayout_2.addWidget(self.label_2, 6, 0, 1, 1)
        self.lineEdit_save_folder = QtGui.QLineEdit(self.tab1)
        self.lineEdit_save_folder.setObjectName("lineEdit_save_folder")
        self.gridLayout_2.addWidget(self.lineEdit_save_folder, 7, 0, 1, 1)
        self.pushButton_parcourir_sav = QtGui.QPushButton(self.tab1)
        icon1 = QtGui.QIcon()
        icon1.addPixmap(QtGui.QPixmap(":/all/icones/folder.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_parcourir_sav.setIcon(icon1)
        self.pushButton_parcourir_sav.setIconSize(QtCore.QSize(20, 20))
        self.pushButton_parcourir_sav.setObjectName("pushButton_parcourir_sav")
        self.gridLayout_2.addWidget(self.pushButton_parcourir_sav, 7, 2, 1, 1)
        self.label_4 = QtGui.QLabel(self.tab1)
        self.label_4.setWordWrap(True)
        self.label_4.setObjectName("label_4")
        self.gridLayout_2.addWidget(self.label_4, 8, 0, 1, 1)
        self.lineEdit_ex_folder = QtGui.QLineEdit(self.tab1)
        self.lineEdit_ex_folder.setObjectName("lineEdit_ex_folder")
        self.gridLayout_2.addWidget(self.lineEdit_ex_folder, 9, 0, 1, 1)
        self.pushButton_parcourir_tex_path = QtGui.QPushButton(self.tab1)
        self.pushButton_parcourir_tex_path.setIcon(icon1)
        self.pushButton_parcourir_tex_path.setIconSize(QtCore.QSize(20, 20))
        self.pushButton_parcourir_tex_path.setObjectName("pushButton_parcourir_tex_path")
        self.gridLayout_2.addWidget(self.pushButton_parcourir_tex_path, 9, 2, 1, 1)
        spacerItem = QtGui.QSpacerItem(20, 40, QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.Expanding)
        self.gridLayout_2.addItem(spacerItem, 10, 0, 1, 1)
        self.tabWidget.addTab(self.tab1, "")
        self.tabcomp = QtGui.QWidget()
        self.tabcomp.setObjectName("tabcomp")
        self.gridLayout = QtGui.QGridLayout(self.tabcomp)
        self.gridLayout.setObjectName("gridLayout")
        self.verticalLayout_4 = QtGui.QVBoxLayout()
        self.verticalLayout_4.setObjectName("verticalLayout_4")
        self.verticalLayout_2 = QtGui.QVBoxLayout()
        self.verticalLayout_2.setObjectName("verticalLayout_2")
        self.label_7 = QtGui.QLabel(self.tabcomp)
        self.label_7.setTextFormat(QtCore.Qt.RichText)
        self.label_7.setWordWrap(True)
        self.label_7.setObjectName("label_7")
        self.verticalLayout_2.addWidget(self.label_7)
        self.label_siteweb = QtGui.QLabel(self.tabcomp)
        self.label_siteweb.setObjectName("label_siteweb")
        self.verticalLayout_2.addWidget(self.label_siteweb)
        self.label_8 = QtGui.QLabel(self.tabcomp)
        self.label_8.setWordWrap(True)
        self.label_8.setObjectName("label_8")
        self.verticalLayout_2.addWidget(self.label_8)
        self.verticalLayout_4.addLayout(self.verticalLayout_2)
        self.horizontalLayout = QtGui.QHBoxLayout()
        self.horizontalLayout.setObjectName("horizontalLayout")
        self.verticalLayout = QtGui.QVBoxLayout()
        self.verticalLayout.setObjectName("verticalLayout")
        self.lineEdit_command = QtGui.QLineEdit(self.tabcomp)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.lineEdit_command.sizePolicy().hasHeightForWidth())
        self.lineEdit_command.setSizePolicy(sizePolicy)
        self.lineEdit_command.setObjectName("lineEdit_command")
        self.verticalLayout.addWidget(self.lineEdit_command)
        self.listWidget_comp = QtGui.QListWidget(self.tabcomp)
        self.listWidget_comp.setObjectName("listWidget_comp")
        self.verticalLayout.addWidget(self.listWidget_comp)
        self.horizontalLayout.addLayout(self.verticalLayout)
        self.verticalLayout_3 = QtGui.QVBoxLayout()
        self.verticalLayout_3.setObjectName("verticalLayout_3")
        self.pushButton_addc = QtGui.QPushButton(self.tabcomp)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton_addc.sizePolicy().hasHeightForWidth())
        self.pushButton_addc.setSizePolicy(sizePolicy)
        icon2 = QtGui.QIcon()
        icon2.addPixmap(QtGui.QPixmap(":/all/icones/edit_add.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_addc.setIcon(icon2)
        self.pushButton_addc.setObjectName("pushButton_addc")
        self.verticalLayout_3.addWidget(self.pushButton_addc)
        self.pushButton_removec = QtGui.QPushButton(self.tabcomp)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton_removec.sizePolicy().hasHeightForWidth())
        self.pushButton_removec.setSizePolicy(sizePolicy)
        icon3 = QtGui.QIcon()
        icon3.addPixmap(QtGui.QPixmap(":/all/icones/edit_remove.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_removec.setIcon(icon3)
        self.pushButton_removec.setObjectName("pushButton_removec")
        self.verticalLayout_3.addWidget(self.pushButton_removec)
        spacerItem1 = QtGui.QSpacerItem(20, 40, QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.Expanding)
        self.verticalLayout_3.addItem(spacerItem1)
        self.pushButton_up = QtGui.QPushButton(self.tabcomp)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton_up.sizePolicy().hasHeightForWidth())
        self.pushButton_up.setSizePolicy(sizePolicy)
        icon4 = QtGui.QIcon()
        icon4.addPixmap(QtGui.QPixmap(":/all/icones/up.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_up.setIcon(icon4)
        self.pushButton_up.setObjectName("pushButton_up")
        self.verticalLayout_3.addWidget(self.pushButton_up)
        self.pushButton_down = QtGui.QPushButton(self.tabcomp)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton_down.sizePolicy().hasHeightForWidth())
        self.pushButton_down.setSizePolicy(sizePolicy)
        icon5 = QtGui.QIcon()
        icon5.addPixmap(QtGui.QPixmap(":/all/icones/down.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_down.setIcon(icon5)
        self.pushButton_down.setObjectName("pushButton_down")
        self.verticalLayout_3.addWidget(self.pushButton_down)
        self.horizontalLayout.addLayout(self.verticalLayout_3)
        self.verticalLayout_4.addLayout(self.horizontalLayout)
        self.gridLayout.addLayout(self.verticalLayout_4, 0, 0, 1, 1)
        self.tabWidget.addTab(self.tabcomp, "")
        self.tab2 = QtGui.QWidget()
        self.tab2.setObjectName("tab2")
        self.gridlayout = QtGui.QGridLayout(self.tab2)
        self.gridlayout.setObjectName("gridlayout")
        self.textEdit = QtGui.QTextEdit(self.tab2)
        self.textEdit.setObjectName("textEdit")
        self.gridlayout.addWidget(self.textEdit, 2, 0, 1, 1)
        self.label_14 = QtGui.QLabel(self.tab2)
        self.label_14.setWordWrap(True)
        self.label_14.setObjectName("label_14")
        self.gridlayout.addWidget(self.label_14, 0, 0, 1, 1)
        self.label_16 = QtGui.QLabel(self.tab2)
        self.label_16.setWordWrap(True)
        self.label_16.setObjectName("label_16")
        self.gridlayout.addWidget(self.label_16, 1, 0, 1, 1)
        self.tabWidget.addTab(self.tab2, "")
        self.tab3 = QtGui.QWidget()
        self.tab3.setObjectName("tab3")
        self.gridlayout1 = QtGui.QGridLayout(self.tab3)
        self.gridlayout1.setObjectName("gridlayout1")
        self.label_3 = QtGui.QLabel(self.tab3)
        font = QtGui.QFont()
        font.setPointSize(11)
        self.label_3.setFont(font)
        self.label_3.setObjectName("label_3")
        self.gridlayout1.addWidget(self.label_3, 0, 0, 1, 1)
        self.gridlayout2 = QtGui.QGridLayout()
        self.gridlayout2.setObjectName("gridlayout2")
        self.label_5 = QtGui.QLabel(self.tab3)
        self.label_5.setObjectName("label_5")
        self.gridlayout2.addWidget(self.label_5, 0, 0, 1, 1)
        self.label_6 = QtGui.QLabel(self.tab3)
        self.label_6.setObjectName("label_6")
        self.gridlayout2.addWidget(self.label_6, 0, 1, 1, 1)
        self.lineEdit_tag1 = QtGui.QLineEdit(self.tab3)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.lineEdit_tag1.sizePolicy().hasHeightForWidth())
        self.lineEdit_tag1.setSizePolicy(sizePolicy)
        self.lineEdit_tag1.setObjectName("lineEdit_tag1")
        self.gridlayout2.addWidget(self.lineEdit_tag1, 1, 0, 1, 1)
        self.lineEdit_tag2 = QtGui.QLineEdit(self.tab3)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.lineEdit_tag2.sizePolicy().hasHeightForWidth())
        self.lineEdit_tag2.setSizePolicy(sizePolicy)
        self.lineEdit_tag2.setObjectName("lineEdit_tag2")
        self.gridlayout2.addWidget(self.lineEdit_tag2, 1, 1, 1, 1)
        self.gridlayout1.addLayout(self.gridlayout2, 2, 0, 1, 1)
        self.hboxlayout = QtGui.QHBoxLayout()
        self.hboxlayout.setObjectName("hboxlayout")
        self.listWidget = QtGui.QListWidget(self.tab3)
        self.listWidget.setObjectName("listWidget")
        self.hboxlayout.addWidget(self.listWidget)
        self.vboxlayout = QtGui.QVBoxLayout()
        self.vboxlayout.setObjectName("vboxlayout")
        self.pushButton_add = QtGui.QPushButton(self.tab3)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton_add.sizePolicy().hasHeightForWidth())
        self.pushButton_add.setSizePolicy(sizePolicy)
        self.pushButton_add.setIcon(icon2)
        self.pushButton_add.setObjectName("pushButton_add")
        self.vboxlayout.addWidget(self.pushButton_add)
        self.pushButton_remove = QtGui.QPushButton(self.tab3)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.pushButton_remove.sizePolicy().hasHeightForWidth())
        self.pushButton_remove.setSizePolicy(sizePolicy)
        self.pushButton_remove.setIcon(icon3)
        self.pushButton_remove.setObjectName("pushButton_remove")
        self.vboxlayout.addWidget(self.pushButton_remove)
        spacerItem2 = QtGui.QSpacerItem(20, 16, QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.Expanding)
        self.vboxlayout.addItem(spacerItem2)
        self.hboxlayout.addLayout(self.vboxlayout)
        self.gridlayout1.addLayout(self.hboxlayout, 3, 0, 1, 1)
        self.label_17 = QtGui.QLabel(self.tab3)
        self.label_17.setWordWrap(True)
        self.label_17.setObjectName("label_17")
        self.gridlayout1.addWidget(self.label_17, 1, 0, 1, 1)
        self.tabWidget.addTab(self.tab3, "")
        self.tabGenerate = QtGui.QWidget()
        self.tabGenerate.setObjectName("tabGenerate")
        self.gridLayout_4 = QtGui.QGridLayout(self.tabGenerate)
        self.gridLayout_4.setObjectName("gridLayout_4")
        self.scrollArea = QtGui.QScrollArea(self.tabGenerate)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.scrollArea.sizePolicy().hasHeightForWidth())
        self.scrollArea.setSizePolicy(sizePolicy)
        self.scrollArea.setFrameShape(QtGui.QFrame.Box)
        self.scrollArea.setLineWidth(1)
        self.scrollArea.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn)
        self.scrollArea.setWidgetResizable(True)
        self.scrollArea.setObjectName("scrollArea")
        self.scrollAreaWidgetContents = QtGui.QWidget(self.scrollArea)
        self.scrollAreaWidgetContents.setGeometry(QtCore.QRect(0, 0, 544, 386))
        self.scrollAreaWidgetContents.setObjectName("scrollAreaWidgetContents")
        self.verticalLayout_5 = QtGui.QVBoxLayout(self.scrollAreaWidgetContents)
        self.verticalLayout_5.setObjectName("verticalLayout_5")
        self.label_12 = QtGui.QLabel(self.scrollAreaWidgetContents)
        self.label_12.setWordWrap(True)
        self.label_12.setObjectName("label_12")
        self.verticalLayout_5.addWidget(self.label_12)
        self.line_3 = QtGui.QFrame(self.scrollAreaWidgetContents)
        self.line_3.setFrameShape(QtGui.QFrame.HLine)
        self.line_3.setFrameShadow(QtGui.QFrame.Sunken)
        self.line_3.setObjectName("line_3")
        self.verticalLayout_5.addWidget(self.line_3)
        self.horizontalLayout_3 = QtGui.QHBoxLayout()
        self.horizontalLayout_3.setObjectName("horizontalLayout_3")
        self.label_13 = QtGui.QLabel(self.scrollAreaWidgetContents)
        self.label_13.setObjectName("label_13")
        self.horizontalLayout_3.addWidget(self.label_13)
        spacerItem3 = QtGui.QSpacerItem(70, 20, QtGui.QSizePolicy.Maximum, QtGui.QSizePolicy.Minimum)
        self.horizontalLayout_3.addItem(spacerItem3)
        self.comboBox_gen = QtGui.QComboBox(self.scrollAreaWidgetContents)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.comboBox_gen.sizePolicy().hasHeightForWidth())
        self.comboBox_gen.setSizePolicy(sizePolicy)
        self.comboBox_gen.setObjectName("comboBox_gen")
        self.horizontalLayout_3.addWidget(self.comboBox_gen)
        self.verticalLayout_5.addLayout(self.horizontalLayout_3)
        self.horizontalLayout_2 = QtGui.QHBoxLayout()
        self.horizontalLayout_2.setObjectName("horizontalLayout_2")
        self.label_15 = QtGui.QLabel(self.scrollAreaWidgetContents)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.label_15.sizePolicy().hasHeightForWidth())
        self.label_15.setSizePolicy(sizePolicy)
        self.label_15.setWordWrap(True)
        self.label_15.setObjectName("label_15")
        self.horizontalLayout_2.addWidget(self.label_15)
        spacerItem4 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.Minimum)
        self.horizontalLayout_2.addItem(spacerItem4)
        self.pushButton_delete = QtGui.QPushButton(self.scrollAreaWidgetContents)
        icon6 = QtGui.QIcon()
        icon6.addPixmap(QtGui.QPixmap(":/all/icones/delete.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_delete.setIcon(icon6)
        self.pushButton_delete.setObjectName("pushButton_delete")
        self.horizontalLayout_2.addWidget(self.pushButton_delete)
        self.verticalLayout_5.addLayout(self.horizontalLayout_2)
        self.textEdit_generate = QtGui.QTextEdit(self.scrollAreaWidgetContents)
        sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.textEdit_generate.sizePolicy().hasHeightForWidth())
        self.textEdit_generate.setSizePolicy(sizePolicy)
        self.textEdit_generate.setMinimumSize(QtCore.QSize(0, 210))
        self.textEdit_generate.setObjectName("textEdit_generate")
        self.verticalLayout_5.addWidget(self.textEdit_generate)
        self.scrollArea.setWidget(self.scrollAreaWidgetContents)
        self.gridLayout_4.addWidget(self.scrollArea, 0, 0, 1, 1)
        self.tabWidget.addTab(self.tabGenerate, "")
        self.gridLayout_5.addWidget(self.tabWidget, 0, 0, 1, 3)
        spacerItem5 = QtGui.QSpacerItem(385, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
        self.gridLayout_5.addItem(spacerItem5, 1, 0, 1, 1)
        self.pushButton_cancel = QtGui.QPushButton(Dialog)
        icon7 = QtGui.QIcon()
        icon7.addPixmap(QtGui.QPixmap(":/all/icones/cancel.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_cancel.setIcon(icon7)
        self.pushButton_cancel.setObjectName("pushButton_cancel")
        self.gridLayout_5.addWidget(self.pushButton_cancel, 1, 1, 1, 1)
        self.pushButton_ok = QtGui.QPushButton(Dialog)
        icon8 = QtGui.QIcon()
        icon8.addPixmap(QtGui.QPixmap(":/all/icones/apply.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        self.pushButton_ok.setIcon(icon8)
        self.pushButton_ok.setObjectName("pushButton_ok")
        self.gridLayout_5.addWidget(self.pushButton_ok, 1, 2, 1, 1)

        self.retranslateUi(Dialog)
        self.tabWidget.setCurrentIndex(0)
        QtCore.QObject.connect(self.pushButton_ok, QtCore.SIGNAL("clicked()"), Dialog.accept)
        QtCore.QObject.connect(self.pushButton_cancel, QtCore.SIGNAL("clicked()"), Dialog.reject)
        QtCore.QMetaObject.connectSlotsByName(Dialog)

    def retranslateUi(self, Dialog):
        Dialog.setWindowTitle(QtGui.QApplication.translate("Dialog", "Preferences", None, QtGui.QApplication.UnicodeUTF8))
        self.label_9.setText(QtGui.QApplication.translate("Dialog", "Do you want to use the preview package (default : yes) ?", None, QtGui.QApplication.UnicodeUTF8))
        self.radioButton_yes.setText(QtGui.QApplication.translate("Dialog", "Yes", None, QtGui.QApplication.UnicodeUTF8))
        self.radioButton_no.setText(QtGui.QApplication.translate("Dialog", "No", None, QtGui.QApplication.UnicodeUTF8))
        self.label_11.setText(QtGui.QApplication.translate("Dialog", "<!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\">\n"
"p, li { white-space: pre-wrap; }\n"
"</style></head><body style=\" font-family:\'Sans\'; font-size:10pt; 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-weight:600;\">About the Generate Exam button</span></p></body></html>", None, QtGui.QApplication.UnicodeUTF8))
        self.label.setText(QtGui.QApplication.translate("Dialog", "What type of file will you generate ? (default : dvi)", None, QtGui.QApplication.UnicodeUTF8))
        self.comboBox.setItemText(0, QtGui.QApplication.translate("Dialog", "dvi", None, QtGui.QApplication.UnicodeUTF8))
        self.comboBox.setItemText(1, QtGui.QApplication.translate("Dialog", "pdf", None, QtGui.QApplication.UnicodeUTF8))
        self.comboBox.setItemText(2, QtGui.QApplication.translate("Dialog", "ps", None, QtGui.QApplication.UnicodeUTF8))
        self.label_10.setText(QtGui.QApplication.translate("Dialog", "Which viewer do you want tu use ?", None, QtGui.QApplication.UnicodeUTF8))
        self.label_2.setText(QtGui.QApplication.translate("Dialog", "Default folder in which you wish to save your projects ?", None, QtGui.QApplication.UnicodeUTF8))
        self.pushButton_parcourir_sav.setText(QtGui.QApplication.translate("Dialog", "Browse", None, QtGui.QApplication.UnicodeUTF8))
        self.label_4.setText(QtGui.QApplication.translate("Dialog", "Which folder contains your tex files ?", None, QtGui.QApplication.UnicodeUTF8))
        self.pushButton_parcourir_tex_path.setText(QtGui.QApplication.translate("Dialog", "Browse", None, QtGui.QApplication.UnicodeUTF8))
        self.tabWidget.setTabText(self.tabWidget.indexOf(self.tab1), QtGui.QApplication.translate("Dialog", "Basics", None, QtGui.QApplication.UnicodeUTF8))
        self.label_7.setText(QtGui.QApplication.translate("Dialog", "Here you can set up the way LaTeX is called in the background. !file is a shortcut for /tmp/partielator/file. Leave default settings if unsure. Help is available online here :\n"
"", None, QtGui.QApplication.UnicodeUTF8))
        self.label_siteweb.setText(QtGui.QApplication.translate("Dialog", "<!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\">\n"
"p, li { white-space: pre-wrap; }\n"
"</style></head><body style=\" font-family:\'Sans\'; font-size:10pt; 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;\"><a href=\"http://snouffy.free.fr/blog-en/index.php/post/2009/01/08/What-is-TeXamator\"><span style=\" text-decoration: underline; color:#0000ff;\">http://snouffy.free.fr/blog-en/index.php/post/2009/01/08/What-is-TeXamator</span></a></p></body></html>", None, QtGui.QApplication.UnicodeUTF8))
        self.label_8.setText(QtGui.QApplication.translate("Dialog", "Write a command and click the + button to add it", None, QtGui.QApplication.UnicodeUTF8))
        self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabcomp), QtGui.QApplication.translate("Dialog", "Compilation", None, QtGui.QApplication.UnicodeUTF8))
        self.label_14.setText(QtGui.QApplication.translate("Dialog", "This is the header used by TeXamator to compile your .tex files.", None, QtGui.QApplication.UnicodeUTF8))
        self.label_16.setText(QtGui.QApplication.translate("Dialog", "Note that \\begin{document} must not appear here !", None, QtGui.QApplication.UnicodeUTF8))
        self.tabWidget.setTabText(self.tabWidget.indexOf(self.tab2), QtGui.QApplication.translate("Dialog", "Header", None, QtGui.QApplication.UnicodeUTF8))
        self.label_3.setText(QtGui.QApplication.translate("Dialog", "Set up the tags you use for your exercises", None, QtGui.QApplication.UnicodeUTF8))
        self.label_5.setText(QtGui.QApplication.translate("Dialog", "What comes before an exercise ?", None, QtGui.QApplication.UnicodeUTF8))
        self.label_6.setText(QtGui.QApplication.translate("Dialog", "What comes after ?", None, QtGui.QApplication.UnicodeUTF8))
        self.label_17.setText(QtGui.QApplication.translate("Dialog", "TeXamator needs to know how to extract exercises from your .tex files.", None, QtGui.QApplication.UnicodeUTF8))
        self.tabWidget.setTabText(self.tabWidget.indexOf(self.tab3), QtGui.QApplication.translate("Dialog", "Tags", None, QtGui.QApplication.UnicodeUTF8))
        self.label_12.setText(QtGui.QApplication.translate("Dialog", "Here, you can set up the way files are generated when you click the \"export\" button. For example, you could add an \"Exercise sheet\" config and another one, say \"Exam\". Add as many configs as you want.", None, QtGui.QApplication.UnicodeUTF8))
        self.label_13.setText(QtGui.QApplication.translate("Dialog", "Select a config name or create a new one", None, QtGui.QApplication.UnicodeUTF8))
        self.label_15.setText(QtGui.QApplication.translate("Dialog", "Set here what you want to appear before your exercises, including \\begin{document}.", None, QtGui.QApplication.UnicodeUTF8))
        self.pushButton_delete.setText(QtGui.QApplication.translate("Dialog", "Delete", None, QtGui.QApplication.UnicodeUTF8))
        self.tabWidget.setTabText(self.tabWidget.indexOf(self.tabGenerate), QtGui.QApplication.translate("Dialog", "Generating files", None, QtGui.QApplication.UnicodeUTF8))
        self.pushButton_cancel.setText(QtGui.QApplication.translate("Dialog", "Cancel", None, QtGui.QApplication.UnicodeUTF8))
        self.pushButton_ok.setText(QtGui.QApplication.translate("Dialog", "Ok", None, QtGui.QApplication.UnicodeUTF8))

import icones_rc

if __name__ == "__main__":
    import sys
    app = QtGui.QApplication(sys.argv)
    Dialog = QtGui.QDialog()
    ui = Ui_Dialog()
    ui.setupUi(Dialog)
    Dialog.show()
    sys.exit(app.exec_())

