Révision 3140

tmp/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/EditionPanel.java (revision 3140)
620 620
			@Override
621 621
			public void keyPressed(KeyEvent e) {
622 622
				if (debug) Log.finest(" KEY PRESSED: " + e); //$NON-NLS-1$
623
				System.out.println(""+e.keyCode+" "+e.stateMask);
624 623
				if (e.keyCode == 'f' && (e.stateMask & SWT.CTRL) != 0) {
625 624
					synopticEditionEditor.getSearchEditionToolbar().openSearch(getTextSelection());
626 625
				}
tmp/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/SynopticEditionEditor.java (revision 3140)
489 489
					gdata.minimumWidth = (int) s;
490 490
				}
491 491
			}
492
			gdata.widthHint = 200;
492 493
			text_text.setLayoutData(gdata);
493 494
			identifiantComboAutoCompleteField = new TXMAutoCompleteField(text_text, new TextContentAdapter(), text_ids, keys);
494 495
			// identifiantComboAutoCompleteField.setSelectionListener(new SelectionListener() {

Formats disponibles : Unified diff