[platform-ui-dev] Workspace name in the window title

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[platform-ui-dev] Workspace name in the window title

From: Sergey Prigogin <eclipse.sprigogin@xxxxxxxxx>
Date: Thu, 14 Apr 2016 10:35:41 -0700
Delivered-to: platform-ui-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/platform-ui-dev>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

One of our users suggested that it would be very convenient if, when creating a new workspace, the Preferences -> General -> Workspace -> Workspace Name preference would be automatically set to the name of the workspace directory. I've filed http://eclip.se/491721 enhancement request for that.

Please express your opinion about this proposal by commenting on the bug.

Thank you,

-sergey

Prev by Date: [platform-ui-dev] Weekly UI Freezes Digest for Platform 4.6+
Next by Date: [platform-ui-dev] Vote for Committer status for Kalyan Prasad Tatavarthi was started by Dani Megert
Previous by thread: [platform-ui-dev] https://wiki.eclipse.org/Menu_Contributions/Search_Menu not working
Next by thread: [platform-ui-dev] Vote for Committer status for Kalyan Prasad Tatavarthi was started by Dani Megert
Index(es):
- Date
- Thread

Breadcrumbs