Open bhufmann opened 1 year ago
There is no explicit identifier for the "filler rows", but they all come in with an empty string "" as their name. Filler rows can be identified height set through the Row Style Provider easily. But we can move forward by identifying filler rows either by:
Identify "filler rows" by their empty string name "".
Add an explicit tag for "filter rows" on the back end.
what about using height
style in the model?
The
Resources Status
view of theTrace Compass server
has a filler row between the CPUs to visually separate the CPUs. However, the filler row is drawn with the same height as a regular row which wastes vertical space and doesn't have a great UX.To support this independently from the trace server and view, such filler rows need to be styled through the data provider TSP API.
Theia Trace Extension with![image](https://user-images.githubusercontent.com/413424/182614225-ba7c776c-72d8-4fc7-a727-86f6566edc7b.png)
Trace Compass server
:In![image](https://user-images.githubusercontent.com/413424/182613510-d55fb714-37be-4d9e-9c40-efdfd1fbe548.png)
Eclipse Trace Compass
it looks like this: