var fDesc=new Array(); fDesc[0] = "There are certain settings provided by Splashy: you can manually set the time when the wallpaper changes. By default, the app starts on startup. You can also opt out of it. You can also change current wallpaper immediately in case you don’t like it by clicking the button at the bottom right corner of the screen. It’s a good way to browse through various images right there from your desktop too.

Whenever you feel like browsing wallpapers or changing settings, you will find Splashy in the Notification Tray."; function tShowHide(id, show) { var s = document.getElementById("desc"); if ((s.innerHTML.length<=212 || show==1) && show!=2) { s.innerHTML = fDesc[id]; if (document.getElementById('m1')) document.getElementById('m1').style.display='none'; if (document.getElementById('m2')) document.getElementById('m2').style.display='none'; if (document.getElementById('more_txt')) document.getElementById('more_txt').style.display='inline'; } else { s.innerHTML = ''; } }