Skip to content

Instantly share code, notes, and snippets.

View rdeangelis83's full-sized avatar

Rocco De Angelis rdeangelis83

  • Software AG
  • Germany
View GitHub Profile
@rdeangelis83
rdeangelis83 / gwt-formatter.js
Last active December 13, 2022 19:01
DevtoolsFormatter for GWT
JsonMLFormatter = function(simpleFormatter)
{
this._simpleFormatter = simpleFormatter;
}
JsonMLFormatter.prototype = {
header: function(object, config)
{
var c = this._simpleFormatter.preview(object);