4f83e66cd4
Works from any playlist saving operation accessed from the While Playing Screen, all other playlist saving operations are unchanged. Now a user-selectable setting! Located in General Settings -> Playlists -> Current Playlist -> Reload After Saving (Yes/No) Change-Id: I5085c3f4c56c518a812d5ee015d15cc4dca19a28 |
||
|---|---|---|
| .. | ||
| images | ||
| autoresume.tex | ||
| bookmarking.tex | ||
| database.tex | ||
| display_options.tex | ||
| file_view.tex | ||
| general_settings.tex | ||
| hotkey_settings.tex | ||
| language.tex | ||
| main.tex | ||
| playback_options.tex | ||
| playlist_options.tex | ||
| recording_settings.tex | ||
| sound_settings.tex | ||
| startup_shutdown_options.tex | ||
| system_options.tex | ||
| theme_settings.tex | ||
| time_and_date.tex | ||
| voice.tex | ||
| wps_context_plugin.tex | ||