1 files changed, 20 insertions, 6 deletions
diff --git a/dw/fltkui.hh b/dw/fltkui.hh
index e1845abd..46bb5c39 100644
--- a/dw/fltkui.hh
+++ b/dw/fltkui.hh
@@ -15,13 +15,23 @@ namespace fltk {
 /**
  * \brief FLTK implementation of dw::core::ui.
  *
+ * <div style="border: 2px solid #ff0000; margin-top: 0.5em;
+ * margin-bottom: 0.5em; padding: 0.5em 1em;
+ * background-color: #ffefe0"><b>Update:</b> The complicated design
+ * results from my insufficient knowledge of C++ some years ago; since
+ * then, I've learned how to deal with "diamond inheritance", as the
+ * (ideal, not actually implemented) design in the first diagram
+ * shows. It should be possible to implement this ideal design in a
+ * straightforward way, and so get rid of templates. --SG</div>
+ *
  * The design should be like this:
  *
  * \dot
  * digraph G {
  *    node [shape=record, fontname=Helvetica, fontsize=10];
- *    edge [arrowhead="none", arrowtail="empty", labelfontname=Helvetica,
- *          labelfontsize=10, color="#404040", labelfontcolor="#000080"];
+ *    edge [arrowhead="none", arrowtail="empty", dir="both",
+ *          labelfontname=Helvetica, labelfontsize=10, color="#404040",
+ *          labelfontcolor="#000080"];
  *    fontname=Helvetica; fontsize=10;
  *
  *    subgraph cluster_core {
@@ -72,8 +82,9 @@ namespace fltk {
  * \dot
  * digraph G {
  *    node [shape=record, fontname=Helvetica, fontsize=10];
- *    edge [arrowhead="none", arrowtail="empty", labelfontname=Helvetica,
- *          labelfontsize=10, color="#404040", labelfontcolor="#000080"];
+ *    edge [arrowhead="none", arrowtail="empty", dir="both",
+ *          labelfontname=Helvetica, labelfontsize=10, color="#404040",
+ *          labelfontcolor="#000080"];
  *    fontname=Helvetica; fontsize=10;
  *
  *    subgraph cluster_core {
@@ -113,8 +124,9 @@ namespace fltk {
  * \dot
  * digraph G {
  *    node [shape=record, fontname=Helvetica, fontsize=10];
- *    edge [arrowhead="none", arrowtail="empty", labelfontname=Helvetica,
- *          labelfontsize=10, color="#404040", labelfontcolor="#000080"];
+ *    edge [arrowhead="none", arrowtail="empty", dir="both",
+ *          labelfontname=Helvetica, labelfontsize=10, color="#404040",
+ *          labelfontcolor="#000080"];
  *    fontname=Helvetica; fontsize=10;
  *
  *    subgraph cluster_core {
@@ -150,10 +162,12 @@ namespace fltk {
  *    FltkResource -> FltkSpecificResource;
  *    FltkSpecificResource -> FltkSpecificResource_button [arrowhead="open",
  *                                                         arrowtail="none",
+ *                                                         dir="both",
  *                                                         style="dashed",
  *                                                         color="#808000"];
  *    FltkSpecificResource -> FltkSpecificResource_entry [arrowhead="open",
  *                                                        arrowtail="none",
+ *                                                        dir="both",
  *                                                        style="dashed",
  *                                                        color="#808000"];
  *    LabelButtonResource -> FltkSpecificResource_button;