Robin Zhong

Hi, I just implement that feature. Enable it in "User Settings", by set "run_on_save" to true. Try it?

Ok, let me implement realtime lint.

Hi Robert, Sorry that I still does not finish the realtime feature. In order to implement that feature, the currently design has to be changed (not huge, just need more...

@mbirth there is no quality settings in this app, but you could use the following snippets to adjust it: ```swift let options = [kCGImageDestinationLossyCompressionQuality: 9.0] CGImageDestinationAddImageAndMetadata(destination, image, imageMetadata, options as...

@marten-seemann can you write down high level design of this? I encounter this issue and want to fix.

Update: add metrics for duplicated messages in commit 4d843a033550daf21cfb678eb18e12595c6c2cca

So far, this strategy works, and the following commits are related to this change: 5adbb32d5e23f859c045ffc66b87d8a0adf4d709 `net: dispatcher.go. support enable & disable duplicate msg filter for…` d6cc4e4bb5651ec78c2cb4f292d11c9d20c9a229 `core: block_pool.go. remove filter...

#56 seems a bug related to this strategy.

Cool pull request. Let's accept this PR after we migrate from slack to gitter.