Cleaning up the Preference's GUI, starting from the General tab

This commit is contained in:
Hombre
2015-10-07 23:59:50 +02:00
parent 9dcb00045d
commit d8e4709458
5 changed files with 182 additions and 142 deletions

View File

@@ -901,7 +901,7 @@ PREFERENCES_EDITORLAYOUT;Disposition de l'éditeur
PREFERENCES_EXPAUT;Expert
PREFERENCES_EXTERNALEDITOR;Éditeur externe
PREFERENCES_FBROWSEROPTS;Options du navigateur de fichiers et de vignettes
PREFERENCES_FILEBROWSERTOOLBARSINGLEROW;Barre de menu de l'explorateur de fichiers uni-ligne (à désactiver pour les écrans de faible résolution)
PREFERENCES_FILEBROWSERTOOLBARSINGLEROW;Barre de menu de l'explorateur de fichiers uni-ligne\n(à désactiver pour les écrans de faible résolution)
PREFERENCES_FILEFORMAT;Format du fichier
PREFERENCES_FILMSIMULATION;Simulation de Film
PREFERENCES_FLATFIELDFOUND;Trouvé

View File

@@ -84,6 +84,10 @@ GtkFrame {
padding: 2px;
}
GtkFrame GtkGrid {
padding: 2px 2px;
}
GtkNotebook {
padding: 2px;
}

View File

@@ -86,6 +86,10 @@ GtkFrame {
padding: 4px 4px;
}
GtkFrame GtkGrid {
padding: 4px 4px;
}
GtkNotebook {
padding: 4px;
}