![]() The script changes only Mint Themes of Linux Mint 17.x! It works well with the Cinnamon and Xfce versions. The bash script “swing-menu-corr.sh” does the changes in all files automatically. Manually changing all menus.rc to fix the problem is time consuming. The changes have not effected general GTK applications at all! Automatic Fix To fix all Mint themes I recommend to use my bash script “swing-menu-corr.sh” below. Text = section style “menu-item-separator” change the entry: ythickness = 0 In section style “menu” change: xthickness = 0 “Mint-X”) as root und edit the file menus.rc. Open the path /usr/share/themes/ /gtk-2.0/style your used Mint-theme (e.g. See my posting Java’s Swing GTK LaF nice and pretty on Ubuntu for details. ![]() ![]() As an alternative install the Global Menu/HUD-Support for Java Swing Apps when you use the Unity desktop. Search for the section styles “menu” and look for the entries xthickness und ythickness. In Ubuntu the configuration is stored in different files (gtkrc), e.g. The problem are entries in the “menus.rc” files of the Mint-themes at /usr/share/themes/ /gtk-2.0/style. Menu bug in Swing’s GTK LaF befor and after the fix ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |