search

Bram28 / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU Affero General Public License v3.0
2 stars 8 forks source link

Put proof file name on window title bar #84

Closed mmellone closed 8 years ago

mmellone commented 8 years ago

The window title bar now will show the name of the puzzle, followed by either the board name or the proof name (if the proof was saved)

3ed73ed69c818015fb34169c853522928774fe80