static JComponent iPanel_standardFunctionSourceCode(S s, final Runnable refresh) {
  if (!isStandardFunction(s)) null;
  S src = textOfStandardFunction(s);
  ret withCenteredTitle(s + " [Source Code]",
    jPreferredHeight(125, scrollableJavaxSyntaxTextArea(src)));
}