caiyu/solvespace
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename "Browser" to "Property Browser".

Browse Source 
Also, rename confusing "Show Text Window" menu item.
This commit is contained in:
whitequark 2016-05-18 12:13:59 +00:00
parent 432e7680a4
commit b55e096fef
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/graphicswin.cpp
View File

@ -81,7 +81,7 @@ const GraphicsWindow::MenuEntry GraphicsWindow::menu[] = {
{ 1, "Show Menu &Bar", MNU_SHOW_MENU_BAR, C|F(12), TC, mView },
#endif
{ 1, "Show &Toolbar", MNU_SHOW_TOOLBAR, 0, TC, mView },
{ 1, "Show Text &Window", MNU_SHOW_TEXT_WND, '\t', TC, mView },
{ 1, "Show Property Bro&wser", MNU_SHOW_TEXT_WND, '\t', TC, mView },
{ 1, NULL, 0, 0, TN, NULL },
{ 1, "Dimensions in &Inches", MNU_UNITS_INCHES, 0, TR, mView },
{ 1, "Dimensions in &Millimeters", MNU_UNITS_MM, 0, TR, mView },

2
src/platform/cocoamain.mm
View File

@ -1021,7 +1021,7 @@ void InitTextWindow() {
NSUtilityWindowMask)];
[[TW standardWindowButton:NSWindowMiniaturizeButton] setHidden:YES];
[[TW standardWindowButton:NSWindowZoomButton] setHidden:YES];
[TW setTitle:@"Browser"];
[TW setTitle:@"Property Browser"];
[TW setFrameAutosaveName:@"TextWindow"];
[TW setFloatingPanel:YES];
[TW setBecomesKeyOnlyIfNeeded:YES];

2
src/platform/gtkmain.cpp
View File

@ -1324,7 +1324,7 @@ public:
set_type_hint(Gdk::WINDOW_TYPE_HINT_UTILITY);
set_skip_taskbar_hint(true);
set_skip_pager_hint(true);
set_title("SolveSpace - Browser");
set_title("SolveSpace - Property Browser");
set_default_size(420, 300);
_box.pack_start(_overlay, true, true);

2
src/platform/w32main.cpp
View File

@ -1299,7 +1299,7 @@ static void CreateMainWindows(void)
// We get the desired Alt+Tab behaviour by specifying that the text
// window is a child of the graphics window.
TextWnd = CreateWindowExW(0,
L"TextWnd", L"SolveSpace - Browser", WS_THICKFRAME | WS_CLIPCHILDREN,
L"TextWnd", L"SolveSpace - Property Browser", WS_THICKFRAME | WS_CLIPCHILDREN,
650, 500, 420, 300, GraphicsWnd, (HMENU)NULL, Instance, NULL);
if(!TextWnd) oops();