2022-10-24 20:18:49 +02:00
|
|
|
package com.minres.rdl.ui.hyperlink
|
2018-06-03 10:45:09 +02:00
|
|
|
|
|
|
|
import com.google.inject.Inject
|
|
|
|
import org.eclipse.xtext.ui.editor.IURIEditorOpener
|
|
|
|
import org.eclipse.xtext.ui.editor.hyperlinking.XtextHyperlink
|
|
|
|
|
2022-10-24 20:18:49 +02:00
|
|
|
class RdlXtextHyperlink extends XtextHyperlink {
|
2018-06-03 10:45:09 +02:00
|
|
|
|
|
|
|
var boolean select = true
|
|
|
|
|
|
|
|
@Inject var IURIEditorOpener uriEditorOpener;
|
|
|
|
|
|
|
|
override void open() {
|
|
|
|
uriEditorOpener.open(getURI(), select);
|
|
|
|
}
|
|
|
|
|
|
|
|
def boolean getSelectTarget(){
|
|
|
|
return select
|
|
|
|
}
|
|
|
|
|
|
|
|
def void setSelectTarget(boolean select){
|
|
|
|
this.select=select
|
|
|
|
}
|
|
|
|
}
|