idea里other setting与setting的区别

   因为很多原因，我们需要重新给idea配置maven，jdk等，但是经常会忽略idea里其实有setting与other setting两个设置；
  idea里other setting是全局设置，而setting不是全局设置，当你在setting里设置完maven等参数之后，再去other setting里查看maven等的设置，会发现还是默认的参数，并没有发生改变。所以大家记得设置完去两个里面都看看。