Abstract: A markup generation system generates a markup file that can be interpreted in a consistent manner by different markup viewers. The markup generation system includes inert variables declarations and markers in the markup file. The markup generation system determines a position in a code segment in the markup file for placing the attribute value based on the marker in the code segment. The attribute value can be used by markup viewers to interpret the markup file.
Abstract: Computer-readable media, computerized methods, and user interfaces (UIs) for manipulating display areas on a GUI workspace by transitioning the display areas from an original state to one of a set of enhanced window states are provided. Initially, an indication to resize a display area is received at an operating system, which consequently invokes an appropriate window state. The indication may include capturing an edge of the display area and vertically dragging the edge to a dock-target region, thereby invoking a vertically-maximized state. Accordingly, configuration settings of the vertically-maximized state are applied such that the display area is stretched to approximately the screen height. In another instance, the indication may include capturing the display area and dragging a display area into a dock-target region, thereby invoking a semi-maximized state.
Type:
Grant
Filed:
December 12, 2012
Date of Patent:
January 19, 2016
Assignee:
MICROSOFT TECHNOLOGY LICENCING, LLC
Inventors:
David A. Matthews, Mohamed A. M. Sadek, Stephan Hoefnagels, Ivan Brugiolo, Patrice L. Miner