Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
712
stars
123
forks
source link
Opening a window in a multiple screen configuration #111
I am working on a multiple display setup, and whenever Alloy opens a popup, it would not open on the screen Alloy is running on. I can definitely live with it, and I plan on fixing this as soon as I have a little time. In the meanwhile if someone can point me to the area of the code that deals with this, that would save me some time and would be a nice help!
To conform with the contribution policy, my Java version: openjdk version "11.0.7-ea" 2020-04-14.
I am working on a multiple display setup, and whenever Alloy opens a popup, it would not open on the screen Alloy is running on. I can definitely live with it, and I plan on fixing this as soon as I have a little time. In the meanwhile if someone can point me to the area of the code that deals with this, that would save me some time and would be a nice help!
To conform with the contribution policy, my Java version:
openjdk version "11.0.7-ea" 2020-04-14.