705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
|
705
706
707
708
709
710
711
712
713
714
715
716
717
718
|
-
|
} fjs[] = {
/* This list ordering isn't strictly important. */
{"confirmer", 0, 0},
{"copybutton", 0, "dom\0"},
{"diff", 0, "dom\0fetch\0popupwidget\0"},
{"dom", 0, 0},
{"fetch", 0, 0},
{"info-diff", 0, "dom\0"},
{"numbered-lines", 0, "popupwidget\0copybutton\0"},
{"pikchr", 0, "dom\0"},
{"popupwidget", 0, "dom\0"},
{"storage", 0, 0},
{"tabs", 0, "dom\0"}
};
const int nFjs = sizeof(fjs) / sizeof(fjs[0]);
|