int () { int result = mySplitEditorLayout.hashCode(); result = 31 * result + myHtmlPanelProviderInfo.hashCode(); result = 31 * result + (myIsAutoScrollPreview ? 1 : 0); result = 31 * result + (myIsVerticalSplit ? 1 : 0); return result; }