Bug 192362 Propertiy Editor will not refresh when use Page->MasterPage->Simple MasterPage to go to Master Page tab [05]
Description: Propertiy Editor will not refresh when use Page->MasterPage->Simple MasterPage to go to Master Page tab. Build number: 2.2.0.v20070613-1211 Steps to reproduce: 1. Open a report. 2. Use top menu Page->Master Page->Simple Master Page. Expected result: Change to MasterPage tab and Property Editor refreshed. Actual result: Change to MasterPage tab and Property Editor did not refresh. Error log: N/A
UI/org.eclipse.birt.report.designer.ui/src/org/eclipse/birt/report/designer/internal/ui/util/UIUtil.java
return level;
	}
	private static boolean isNeutral( char c )
	{
		boolean match = punctuation.matcher( new StringBuffer( 0 ).append( c ) )
				.matches( );
		return match;
	}
	/**
	 * Sets the given help context id on the given control's shell.
	 * 
	 * @param control
	 *            the control on which to register the context id
	 * @param contextId
	 *            the context id to use when F1 help is invoked
	 */
	public static void bindHelp( Control control, String contextId )
	{
		try
		{
			IWorkbench workbench = PlatformUI.getWorkbench( );
			workbench.getHelpSystem( ).setHelp( control, contextId );
		}
		catch ( RuntimeException e )
		{
			
		}
	}
	/**
	 * Gets the ViewPart with the specified id