- JButton download_button = new JButton (download_label);
- download_button.setActionCommand(download_command);
- download_button.addActionListener(this);
- menu_bar.add(download_button);
+ if (MAC_OS_X) {
+ make_menu(download_label, download_menu_entries);
+ } else {
+ JButton download_button = new JButton (download_label);
+ download_button.setActionCommand(download_command);
+ download_button.addActionListener(this);
+ menu_bar.add(download_button);
+ }