Download as
Browse Code »

Commit f459bc9535e6cc27dbb8fb6493b97849f855f057

Authored by Perry Werneck
1 parent 25b60ce7
Exists in master and in 4 other branches develop, edit-header-bar, keypads, script-support

Fixing windows theme.

Showing 1 changed file with 9 additions and 5 deletions   Show diff stats
win/makeruntime.sh.in
  Diff comments   View file @f459bc9
@@ -248,14 +248,18 @@ copy_theme() { @@ -248,14 +248,18 @@ copy_theme() {
248 mkdir -p "${TARGET}/etc" 248 mkdir -p "${TARGET}/etc"
249 cp -rv "${prefix}/etc/gtk-3.0" "${TARGET}/etc" 249 cp -rv "${prefix}/etc/gtk-3.0" "${TARGET}/etc"
250 250
  251 + # https://stackoverflow.com/questions/37035936/how-to-get-native-windows-decorations-on-gtk3-on-windows-7-and-msys2
251 rm -f ${TARGET}/etc/gtk-3.0/settings.ini 252 rm -f ${TARGET}/etc/gtk-3.0/settings.ini
252 mkdir -p ${TARGET}/etc/gtk-3.0 253 mkdir -p ${TARGET}/etc/gtk-3.0
253 echo "[Settings]" >> ${TARGET}/etc/gtk-3.0/settings.ini 254 echo "[Settings]" >> ${TARGET}/etc/gtk-3.0/settings.ini
254 - echo "gtk-theme-name = MS-Windows" >> ${TARGET}/etc/gtk-3.0/settings.ini  
255 - echo "gtk-icon-theme-name = ${1}" >> ${TARGET}/etc/gtk-3.0/settings.ini  
256 - echo "gtk-fallback-icon-theme = ${1}" >> ${TARGET}/etc/gtk-3.0/settings.ini  
257 - echo "gtk-font-name = Sans 10" >> ${TARGET}/etc/gtk-3.0/settings.ini  
258 - echo "gtk-button-images = 1" >> ${TARGET}/etc/gtk-3.0/settings.ini 255 +
  256 + echo "gtk-theme-name = win32" >> ${TARGET}/etc/gtk-3.0/settings.ini
  257 +
  258 +# echo "gtk-theme-name = MS-Windows" >> ${TARGET}/etc/gtk-3.0/settings.ini
  259 +# echo "gtk-icon-theme-name = ${1}" >> ${TARGET}/etc/gtk-3.0/settings.ini
  260 +# echo "gtk-fallback-icon-theme = ${1}" >> ${TARGET}/etc/gtk-3.0/settings.ini
  261 +# echo "gtk-font-name = Sans 10" >> ${TARGET}/etc/gtk-3.0/settings.ini
  262 +# echo "gtk-button-images = 1" >> ${TARGET}/etc/gtk-3.0/settings.ini
259 263
260 mkdir -p ${TARGET}/share/icons 264 mkdir -p ${TARGET}/share/icons
261 if [ "$?" != 0 ]; then 265 if [ "$?" != 0 ]; then