Easily find issues by searching: #<Issue ID>
Example: #1832
Easily find members by searching in: <username>, <first name> and <last name>.
Example: Search smith, will return results smith and adamsmith
| Dev |
|
| QA |
|
| Priority | Low |
| Complexity | Unknown |
| Component | App - Options |
| Version | Future - .9 |
Aqua Data Studio 15.0.0-dev-34
Build #: 34708
Built on: 2013-Nov-05 10:05:29 AM
Operating Environment: Ubuntu 12.04.3 LTS 64-bit
Issue: Font Setting, Font name accepts anything as its name
Steps to reproduce:
1. Open Font setting from File->Options->General->Appearance->Editor Font->
2. Here any random name can be set as Font name.
eg. $62%
3. Save this, and Again open Font setting, you will observe that random name is saved.
Same behaviour also observed for Windows 8 (64-bit)
This was a change in ADS v12
@Tariq, could you please specify what is the expected behavior?
@Tariq, could you please specify what is the expected behavior?
Issue #10708 |
| Closed |
Completion |
| No due date |
| No fixed build |
| No time estimate |
1 issue link |
relates to #5479
Issue #5479OSX - I can still type in anything I like for the Font setting for an SSH terminal |
This was a change in ADS v12