benchexec icon indicating copy to clipboard operation
benchexec copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Add a title line for overlays when showing log files or source code in HTML tables

Open kfriedberger opened this issue 4 years ago • 4 comments
trafficstars

It would be nice to see the name of the current file, i.e., log file, property file, or source code when it is opened as an overlay in a generated HTML table. This could be solved by an (to be implemented) title line at top border of the overlay. The title line should be available for all overlays and could contain the buttons for back (to task definition) or X (close overlay), which are already floating around at top border or above the content of the overlay element.

The list of available buttons (back and close) could be extended, for example, with the following functionality:

  • copy content to clipboard, or in case of log file copy first line (command line) to clipboard.
  • download content as file (providing some content as file when clicking a button should be simple).
  • show line numbers (is this possible with CSS only?).

kfriedberger avatar Aug 30 '21 21:08 kfriedberger

@PhilippWendler Assign this issue to me, mark as gsoc label, I will resolve this issue.

Stonebanks-js avatar Nov 14 '24 10:11 Stonebanks-js

@Stonebanks-js Sorry for the late reply, I was quite busy in the last two weeks. Thanks for reaching out! If you want to work on something, feel free to do so, we are always glad about contributions!

PhilippWendler avatar Nov 25 '24 07:11 PhilippWendler

Hi @PhilippWendler, I noticed this issue mark as gsoc label is still open, and there don't seem to be any contributions or PRs yet. Could you please assign it to me? I'd like to work on this. To ensure the changes are effective, could you clarify which files I should focus on modifying? Here's the approach I plan to take to address the issue: => Overlay Component: Add a title bar at the top to display the file name. Include Back and Close buttons within the title bar. Extend the buttons with Copy to Clipboard and Download functionality. =>CSS: Style the title bar, buttons, and overlay content. Implement CSS for optional line numbering, ensuring alignment with the overlay content. =>JavaScript: Add functionality for the new buttons (Copy, Download) and ensure existing buttons (Back, Close) work seamlessly. Thank you.

Mamatha1718 avatar Jan 24 '25 17:01 Mamatha1718

Hi @Mamatha1718, your plan looks sound. 👍 Feel free to work on this.

PhilippWendler avatar Jan 28 '25 11:01 PhilippWendler