User Manual
Table Of Contents
- Let’s start!
- Playing and singing
- The SongBook
- Customizing and editing the Sound sets
- Customizing, recording and editing the Styles
- Customizing, recording and editing the Songs
- Customizing and editing the Sounds
- Listening and customizing the Sounds
- Editing the Sounds
- Setting the Sound’s basic parameters
- Setting the oscillator’s basic parameters
- Programming the Damper pedal
- Equalizing the Sound
- Setting the Drum Kit’s basic parameters
- Equalizing the Drum Kit
- Mixing and retriggering the drum samples
- Modulating pitch
- Programming the pitch envelope (Pitch EG)
- Programming the filters
- Modulating the filters
- Programming the filter envelope (Filter EG)
- Programming amplitude and pan
- Modulating amplitude
- Programming the amplitude envelope (Amp EG)
- Programming the LFO
- Adding effects to the Sound
- Sound Edit utilities
- AMS (Alternate Modulation Sources)
- Writing the Sounds
- Managing the User Samples
- The Effects
- Effects for the MIDI Sounds
- Adapting reverb to the room size
- Effects list
- DMS (Dynamic Modulation Sources)
- Dynamics (Dynamic)
- EQ and Filters (EQ/Filter)
- Overdrive, Amp models, and Mic models (OD Amp Mic)
- Chorus, Flanger, and Phaser (Cho/Fln Phaser)
- Modulation and Pitch Shift (Mod./P.Shift)
- Delay
- Reverb and Early Reflections (Reverb ER)
- Mono-Mono Serial (Mono-Mono)
- Double Size
- Limiter, Master EQ
- Effects for the MIDI Sounds
- Global settings, Preferences
- MIDI Connections
- MIDI
- Introduction to MIDI
- Quick settings using MIDI Presets
- MIDI communication settings
- Synchronizing Tempo with other instruments
- Programming the MIDI channels
- Installing the KORG USB MIDI Driver
- Connecting HAVIAN 30 to a personal computer or tablet
- Control Change messages
- Controlling the Styles and Player via MIDI
- MIDI
- File management
- Managing files
- Overview on file management
- Loading musical resources and settings
- Saving musical resources and settings
- Copying files and folders
- Deleting files and folders
- Selecting more items at once
- Formatting storage devices
- Backing up and restoring musical resources
- Connecting the internal drive to a personal computer
- Storage device management
- Exporting playlists
- Care of storage devices
- Managing files
- Appendix
Exporting playlists |725
Exporting playlists
Exporting a list of Songs as a text file
A list of the Songs contained inside a folder or a Jukebox list, or the SongBook
and Custom Lists, can be exported, to be printed and be used as the playlist
of the show.
Exporting a list of songs contained in a folder
1 Open the Song Select window.
2 Browse through the files and folders, and open the folder whose content you
would like to export as a text file.
3 Choose the Export Song List command from the page menu to open the
Write Song List dialog.
4 Use the Device pop-up menu to choose a device where to save the list as a
TXT file. The file will be saved in the device’s root.
When saved, the text file will be named after the selected folder. For ex-
ample, a folder named ‘Dummy’ will generate a ‘Dummy.txt’ file. If you are
saving from the root of the device, a ‘Root.txt’ file will be generated.
If a file with the same name already exists on the target device, it will be
overwritten without waiting for confirmation.
The list will include the progressive number assigned to each Song, the file
names, the total number of files in the list.










