*** empty log message ***

diff --git a/ChangeLog b/ChangeLog
index 91ad3fec6282083625d8d738fffb4c074b377232..288bbc44798558953acf0eb147bba8a96e147ce5 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2002-04-22  Han-Wen Nienhuys  <hanwen@cs.uu.nl>
+
+       * mf/feta-schrift.mf: lighter staccato.
+
 2002-04-22  Han-Wen  <hanwen@cs.uu.nl>
 
        * mf/feta-nummer-code.mf (code): three fixes.

diff --git a/lily/tie.cc b/lily/tie.cc
index 1086b9a0a8837d7b7887ecb39f9a859749cbbac6..ec11531206098f38a06ae346ed74eee4d4963876 100644 (file)
--- a/lily/tie.cc
+++ b/lily/tie.cc
@@ -133,12 +133,11 @@ Tie::get_control_points (SCM smob)
   Real left_x;
 
   /*
-    this is a kludge: the tie has to be long enough to be
-    visible, but should not go through key sigs.
-
- (please fixme)
+     the tie has to be long enough to be visible, but should not go
+    through key sigs. In the 1.5 series the pref.matter - note
+    distance is fixed , so this won't be a problem anymore.
    */
-  Real lambda = 0.5;           
+  Real lambda = 0.9;           
   
   if (Note_head::has_interface (l))
     left_x = l->extent (l, X_AXIS)[RIGHT] + x_gap_f;

diff --git a/mf/feta-schrift.mf b/mf/feta-schrift.mf
index 7cf3d1b4451c4886db6f83c92d6cf529c18a24f4..3fd6c692feaee73593bcb0b70e50bde265a4abab 100644 (file)
--- a/mf/feta-schrift.mf
+++ b/mf/feta-schrift.mf
@@ -123,13 +123,9 @@ fet_beginchar("> accent", "sforzato", "sforzatoaccent")
        labels(4);
 fet_endchar;
 
-%
-% Hmm. Should not meddle with darkness of font. Check out the 
-% correct value for radius. Maybe we'd better change padding --hwn
-%
 fet_beginchar("staccato dot", "staccato", "staccato")
        save radius;
-       radius# =   3/(8 * 1.75) * staff_space#;
+       radius# =   0.20 * staff_space#;
        define_whole_pixels(radius);
        pickup pencircle scaled 2 radius;
        drawdot (0,0);
@@ -152,9 +148,6 @@ fet_beginchar("staccatissimo/martellato up", "ustaccatissimo",
        draw_staccatissimo;
 fet_endchar;
 
-%
-% FIXEM: scale labels too.
-%
 fet_beginchar("staccatissimo/martellato down", "dstaccatissimo", "dstaccatissimo")
        draw_staccatissimo;
        y_mirror_char;