v2.11.4.1

150_gfui/src_120_draw_objs/gplx/gfui/GfxStringData.java

@@ -18,6 +18,7 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
 package gplx.gfui; import gplx.*;
 import java.awt.font.TextAttribute;
 import java.text.AttributedString;
+import gplx.core.envs.*;
 public class GfxStringData {
 	public String Val() {
 		if (ownerElem == null) return val;