Opened 3 years ago

Closed 3 years ago

#13402 closed bug (fixed)

Media Preference does not open (crashes)

Reported by: leszek Owned by: nobody
Priority: normal Milestone: Unscheduled
Component: Preferences/Media Version: R1/Development
Keywords: Cc:
Blocked By: Blocking:
Has a Patch: yes Platform: All


Since I removed /boot/home/config/settings/Media the Media preference crashes on startup. I am unable to open it up.

Haiku Rev51048

Attachments (2) (12.8 KB ) - added by leszek 3 years ago.
0001-Fix-crash-with-missing-midi_settings.patch (2.5 KB ) - added by humdinger 3 years ago.
Fixing patch

Download all attachments as: .zip

Change History (7)

by leszek, 3 years ago


comment:1 by leszek, 3 years ago

Has a Patch: set

comment:2 by leszek, 3 years ago

It seems like it is trying to open a non existent /boot/home/config/settings/Media/midi_settings file. Creating that file manually and adding a

soundfont "/boot/home/yoursoundfont.sf2"

entry makes Media Preference open again.

by humdinger, 3 years ago

Fixing patch

comment:3 by humdinger, 3 years ago

Attached patch fixes the crash. I let someone else look over it first...

comment:4 by diver, 3 years ago

Component: - GeneralPreferences/Media

comment:5 by humdinger, 3 years ago

Resolution: fixed
Status: newclosed

Fixed with hrev51051.

Note: See TracTickets for help on using tickets.