View Revisions: Note 110893

Summary 0034302: IDE Options toolbar configuration glitch