From c7251b2a15ec7c5aed9b890d0165e4d7ffbe666f Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Sun, 18 Aug 2002 21:20:20 +0000 Subject: [PATCH] (write_fontlist): change extra-extent-X extra-X-extent. --- ChangeLog | 3 +++ buildscripts/mf-to-table.py | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 5e884ae1d2..67fc04a80c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2002-08-18 Jan Nieuwenhuizen + * buildscripts/mf-to-table.py (write_fontlist): change + extra-extent-X extra-X-extent. + * scm/music-property-description.scm (label): Typecheck markup? (was string?). diff --git a/buildscripts/mf-to-table.py b/buildscripts/mf-to-table.py index b337ecee82..5e9ed27a98 100644 --- a/buildscripts/mf-to-table.py +++ b/buildscripts/mf-to-table.py @@ -149,7 +149,7 @@ def write_fontlist (file, global_info, charmetrics): \translator{ \ScoreContext \remove "Bar_number_engraver" - TextScript \override #'extra-extent-X = #'(-1 . 1) + TextScript \override #'extra-X-extent = #'(-1 . 1) } \translator{ \StaffContext -- 2.39.2