/* default to TUI */ if (use_browser < 0)
use_browser = 1;
switch (use_browser) { case 2: if (setup_gtk_browser() == 0) break;
printf("GTK browser requested but could not find %s\n",
PERF_GTK_DSO);
sleep(1);
use_browser = 1; /* fall through */ case 1: if (ui__init() == 0) break; /* fall through */ default:
use_browser = 0; if (fallback_to_pager)
setup_pager(); break;
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.