import 4.code.about;

class Header {

public void title() {

String fullTitle = '/wsr/';
}

public void menu();

public void board();

public void goToBottom();

}
class Thread extends Board {
public void undefined(OP Anonymous) {

String fullTitle = 'undefined';
int postNumber = 1460879;
String image = '1715026200734145.gif';
String date = '05/06/24(Mon)16:10:00';
String comment = 'How do you change the default settings on mkvs? Sometimes they have english dubs as the default instead of the original JP and having to change it every time is a pain. I'd rather just change them all at once.';

}
public void comments() {
if(Anonymous && title=='undefined' && postNumber==1460907 && dateTime=='05/06/24(Mon)18:46:08') {

'>>1460879
the setting is in your media player, not in the mkv itself.
obviously you need to specify which media player you're using';

}

if(Anonymous && title=='undefined' && postNumber==1460914 && dateTime=='05/06/24(Mon)19:03:03'  && image=='1696011768988927.png') {

'edit your config file.

if you have any questions ask here: >>>/g/100286938';

}

if(Anonymous && title=='undefined' && postNumber==1460920 && dateTime=='05/06/24(Mon)19:49:12') {

'>>1460879
mkvtoolnix can edit the header, which is where default tracks get set.';

}

}
}

class Navigation {
public void backToTop();
}