116117118119120121122123124
} })); this.highlightPainter = new ClassicHighlightPainter(); MarbleNoiseDecorationPainter decorationPainter = new MarbleNoiseDecorationPainter(); decorationPainter.setTextureAlpha(0.7f); this.decorationPainter = decorationPainter; }