Searched defs:buttons (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/browser/awtUtilities/
H A DMessageDialog.java23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/awtUtilities/
H A DMessageDialog.java23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument

Completed in 95 milliseconds