move MiniBufferExplorer to top and add GBK coding