remove flushing of stdout since pygdbmi no longer buffers output

gdbgui/src/js/GdbApi.jsx

@@ -311,10 +311,6 @@ const GdbApi = {
  // print the name, type and value for simple data types,
  // and the name and type for arrays, structures and unions.
  constants.IGNORE_ERRORS_TOKEN_STR + "-stack-list-variables --simple-values",
- // flush inferior process' output (if any)
- // by default, it only flushes when the program terminates
- // so this additional call is needed
- GdbApi.get_flush_output_cmd()
  ];
  if (store.get("interpreter") === "gdb") {
  // update all user-defined variables in gdb
@@ -379,22 +375,6 @@ const GdbApi = {
  return "breakpoint list";
  }
  },
- get_flush_output_cmd: function() {
- if (!store.get("flush_after_commands")) {
- return "";
- }
- if (store.get("language") === "c_family") {
- if (store.get("interpreter") === "gdb") {
- return constants.IGNORE_ERRORS_TOKEN_STR + "-data-evaluate-expression fflush(0)";
- } else if (store.get("interpreter") === "lldb") {
- return "";
- }
- } else if (store.get("language") === "go") {
- return ""; // TODO?
- } else if (store.get("language") === "rust") {
- return ""; // TODO?
- }
- },
  get_load_binary_and_arguments_cmds(binary, args) {
  // tell gdb which arguments to use when calling the binary, before loading the binary
  let cmds = [

gdbgui/src/js/InitialStoreData.js

@@ -39,7 +39,6 @@ const initial_store_data = {
 
  pretty_print: true, // whether gdb should "pretty print" variables. There is an option for this in Settings
  refresh_state_after_sending_console_command: true, // If true, send commands to refresh GUI store after each command is sent from console
- flush_after_commands: true,
  show_all_sent_commands_in_console: debug, // show all sent commands if in debug mode
 
  inferior_program: constants.inferior_states.unknown,

gdbgui/src/js/Settings.jsx

@@ -21,7 +21,6 @@ class Settings extends React.Component {
  "refresh_state_after_sending_console_command",
  "show_all_sent_commands_in_console",
  "highlight_source_code",
- "flush_after_commands"
  ]);
  this.get_update_max_lines_of_code_to_fetch = this.get_update_max_lines_of_code_to_fetch.bind(
  this
@@ -90,10 +89,6 @@ class Settings extends React.Component {
  "refresh_state_after_sending_console_command",
  "Refresh all components when a command is sent from the console"
  )}
- {Settings.get_checkbox_row(
- "flush_after_commands",
- "Attempt to flush stdout after each command is run"
- )}
  {Settings.get_checkbox_row(
  "show_all_sent_commands_in_console",
  "Print all sent commands in console, including those sent automatically by gdbgui"