Bug Report T883411
Visible to All Users

Code Places - Impossible to change font family and font size when the "Auto hide Code Places" option is enabled in the options page

created 5 years ago

Hi

The ability to change the font size of the code places window, which in theory can be done from the relevant page in coderush options dialog appears to be non functional.

This screencast should illustrate the point.

Regards

Dom

Comments (2)

    Interesting, if i set the code places window to dock on the other side of the editor it then reflects the change. In summary it seems that to change the font size (at least on my system) I need to set the font size and switch sides. The font size is then set and the I can switch it back to the preferred side.

    DevExpress Support Team 5 years ago

      Hi Dom,

      Thank you for pointing us to this problem. We will fix it in our future builds.

      Answers approved by DevExpress Support

      created 5 years ago

      We have fixed the issue described in this ticket and will include the fix in our next maintenance update. To apply this solution before the official update, request a hotfix by clicking the corresponding link for product versions you require.

      Note: Hotfixes may be unavailable for beta versions and updates that are about to be released.

        Disclaimer: The information provided on DevExpress.com and affiliated web properties (including the DevExpress Support Center) is provided "as is" without warranty of any kind. Developer Express Inc disclaims all warranties, either express or implied, including the warranties of merchantability and fitness for a particular purpose. Please refer to the DevExpress.com Website Terms of Use for more information in this regard.

        Confidential Information: Developer Express Inc does not wish to receive, will not act to procure, nor will it solicit, confidential or proprietary materials and information from you through the DevExpress Support Center or its web properties. Any and all materials or information divulged during chats, email communications, online discussions, Support Center tickets, or made available to Developer Express Inc in any manner will be deemed NOT to be confidential by Developer Express Inc. Please refer to the DevExpress.com Website Terms of Use for more information in this regard.