我正在使用dart:html
lib创建一个元素。我希望缩进在Dart方面很漂亮,但是为了使生成的js尽可能紧凑,我希望编译器清理字符串以除去不必要的空格。
elem = Element.html(
'''
<div class="modal" style="display: none;">
<div class="modal-content">
<span id="modal-close" class="close">×</span>
<p>This is a test</p>
</div>
<style>
.modal-content {
background-color: #fefefe;
margin: 15% auto;
padding: 20px;
border: 1px solid #888;
width: 590px;
height: 800px;
}
</style>
</div>
''';
此压缩后的生成代码如下:
s=W.h9(' <div class="modal" style="display: none;">\n <div class="modal-content">\n <span...
基本上所有空格都保留。尽管我确定gzip可以非常有效地处理这些空格,但是我想知道是否存在任何某种预处理步骤可以插入清理阶段,或者有其他手段可以做到这一点。